Boards that are supported or currently in the works:
Technologic Systems TS-7200
Gateworks Avila GW2348
Gateworks Cambria GW2358
Kwikbyte KB9202B (as well as the older KB9202 and KB9202A)
Atmel AT91RM9200
- Marvell DB-88F5182, DB-88F5281, DB-88F6281, RD-88F6281, DB-78100
Marvell Sheeva Plug
Globalscale Technologies OpenRD platform
CPU's that are supported or currently in the works:
Atmel AT91SAM926x
Intel XSCALE IXP4XX
Marvell Orion, Kirkwood and Discovery Innovation families of systems-on-chip
Samsung S3C24XXX FreeBSDs3c24xx http://www.samsung.com/global/business/semiconductor/productInfo.do?fmly_id=229&partnum=S3C2440&&ppmi=PartnoSearch
Currently unsupported CPUs that may be good to support:
The following HOWTO guides have been contributed by the user community:
FreeBSDAtmel FreeBSD on Atmel AT91RM9200 boards
FreeBSDAvila Booting FreeBSD on Gateworks Avila/Cambria boards
FreeBSDMarvell Booting FreeBSD on Marvell development boards
FreeBSDSlug Booting FreeBSD on a Linksys NSLU2 (preliminary)
The following are developer resources.
FreeBSDArmBoards Documentation on how to add boards to an ARM port