PatchJLW01 provides the necessary changes to the FreeBSD 11.0-CURRENT r278021 source tree which along with the additional source code accompanying this file allows FreeBSD to be built for various Amlogic ARM based SoC devices. Currently FreeBSD successfully boots to the login prompt on an aml8726-m6 board (the box seems to be some type of Visson ATV-102) as well as on an aml8726-m8b board (a Hardkernel ODROID-C1) using a SD card and a serial console. The following support is included: Basic machdep code SMP Interrupt controller Clock clock (aka gate) Pinctrl Timer Real time clock UART GPIO I2C SD controller SDXC controller USB Watchdog Random number generator PLL / Clock frequency measurement Frame buffer The MAC appears to be the DWC ... it shows signs of life, however needs additional work to support the Amlogic platform. The u-boot sequence I use for the Visson ATV-102 is: video dev open 480p mmc rescan 0 fatload mmc 0 0x80100000 kernel.bin go 0x80100000 The u-boot sequence I use for the Hardkernel ODROID-C1 is: video dev open 480p fatload mmc 0 0x100000 kernel.bin go 0x100000 The current FreeBSD driver doesn't program the video clocks so the u-boot video commands are necessary in order for the frame buffer to be useful (otherwise they can be skipped). The SD card for the Visson ATV-102 doesn't need anything special beyond creating a FAT16 and a UFS filesystem. The SD card for the ODROID-C1 also needs to contain the Hardkernel bootloader as well as u-boot ... sd_freebsd_odroidc1.sh can be used to prep the card. I obtained the bootloader and u-boot from the boot subdirectory of ArchLinuxARM-odroid-c1-latest.tar.gz which is available at: http://archlinuxarm.org/developers/downloads The u-boot source code is available at: https://github.com/hardkernel/u-boot/tree/odroidc-v2011.03/ which also contains a prebuilt bootloader in the sd_fuse subdirectory ... however currently there's no prebuilt u-boot present. The frame buffer driver is very rudimentary. The Pinctrl driver contains just a basic set of entries ... additional pins can be added as necessary. The RTC on the ODROID-C1 requires the battery to be installed. The SDXC driver works fine when controlling a SD card, it also seems talk to the eMMC on the ODROID-C1, however more work is necessary (some possibly at the MMC driver level) in order to support eMMC. Enjoy, John Wehle john@feith.com