kern/150922: [linux] Linux Emulation Segmentation fault (core dumped)

[Thomas Dean]

Please mark this a complete.

The resolution was to
  1.  Deinstall linux_base-f10
  2.  rm -Rf /compat/linux
  3.  Reinstall linux_base-f10

Sorry, I thought a previous email would result as closing this.

tomdean