I have been working on porting FreeBSD to the Xilinx Zynq-7000 ARM SoC.

I have made previous contributions to FreeBSD including implementing RFC 1323 and a Wifi driver (now deprecated).