Hi, I finally found a workaround for getting the bfe interface up and running: I built the kernel with the "original" (unpatched) if_bfe.c and added hw.physmem="1G" to /boot/loader.conf. This way the bfe interface works just fine! I know this isn't a fix, but I take this as a starting point for further debugging the bfe driver. Enjoy the show --j