Hi, Can folks take a look at this? https://reviews.freebsd.org/D1191 It fixes a crash in ipfilter when a VIMAGE kernel is booted. Thanks. -- Craig