Raspberry Pi port, piCore-15.0 is available!
You would benefit from building your own kernel, since for ram reasons we have the max number of cores set at 8 IIRC.We do include support for your ethernet card, so no need to build a driver for it manually.
dmesg | less
max_addr=2G
Hi lidThe extension you need is firmware-bnx2.tcz
About the installer, multicore has several boot options - micro, tiny, installer, wifi etc - I don't recall what the default was, but try picking the installer option.