4e46a66e4a
the Raspberry Pi B we support most of the devices are already supported, however the base address has changed. A few items are not working, or missing. The main ones are: * DMA doesn't work in the sdhci driver. * Enabling vchiq halts the boot, may be interrupt related. * There is no U-Boot port yet so the DTB is embedded in the kernel. The last point will make it difficult to boot FreeBSD, however there is support for the Raspberry Pi 2 in the U-Boot git repo. As I have not tested this it is left as an open task to create a port to build. X-MFC: When the above issues are fixed Sponsored by: ABT Systems Ltd
11 lines
196 B
Plaintext
11 lines
196 B
Plaintext
# $FreeBSD$
|
|
|
|
machine arm armv6
|
|
cpu CPU_CORTEXA
|
|
makeoptions CONF_CFLAGS="-march=armv7a"
|
|
options SOC_BCM2836
|
|
|
|
files "../broadcom/bcm2835/files.bcm2836"
|
|
files "../broadcom/bcm2835/files.bcm283x"
|
|
|