[FUG-BR] [OT] Existe algum BSD para este hardware

[joao jamaicabsd]

Boa noite pessoal.
Recebi uma missão de instalar um SO nesse hardware:

LPC2468FBD208 da NXP.
Este microcontrolador tem 512kB de Flash interna, 96kB de RAM interna, RTC,
Ethernet MAC, 4 UARTs, 3 I2C, 1 SPI, até 160 GPIOs. Opera até 72MHz e possui
interface de memória externa de 32 bits com 4 chips selects.
Ele rodará uma aplicação em LUA, mas pode ser em C.
Sei que existe um micro Linux para este hardware, mas prefiro se for um BSD,
alguém tem alguma sugestão se existe algum BSD para este hardware e onde
posso baixar o distro?
Estou procurando na net mas está difícil.
Obrigado a todos

-- 
E-mail: jamaicabsd em gmail.com
Aux Suporte de Sistemas (UNISUL)
E-mail: joao.maykon em unisul.br
MSN: joaomaykonm em hotmail.com
Cel: (48) 9144 2326