b966860f8c
RPI3 kernel config builds kernel compatible with latest upstream device tree and firmware: https://github.com/raspberrypi/firmware/tree/master/boot As of today it's 597c662a613df1144a6bc43e5f4505d83bd748ca Default console is PL01x, so pi3-disable-bt dt overlay should be configured in config.txt and stock U-Boot should be patched to use proper serial port. Yet unsupported: SMP, VCHIQ, RNG driver. RNG requires some work due to upstream device tree incompatibility. Multiple people contributed to this work over time: db@, loos@, manu@
15 lines
294 B
Plaintext
15 lines
294 B
Plaintext
# $FreeBSD$
|
|
|
|
ARM64 opt_global.h
|
|
INTRNG opt_global.h
|
|
SOCDEV_PA opt_global.h
|
|
SOCDEV_VA opt_global.h
|
|
THUNDERX_PASS_1_1_ERRATA opt_global.h
|
|
VFP opt_global.h
|
|
|
|
# SoC Support
|
|
SOC_ALLWINNER_A64 opt_soc.h
|
|
SOC_BCM2837 opt_global.h
|
|
SOC_CAVM_THUNDERX opt_soc.h
|
|
SOC_HISI_HI6220 opt_soc.h
|