Work has been undertaken to make FreeBSD run on the Samsung S2C24xx CPU. This page describes FreeBSD support for the Samsung S3C24xx CPU’s

FreeBSD is already running on the OpenMoko handset.