diff --git a/sys/arm64/conf/RPI4 b/sys/arm64/conf/RPI4 new file mode 100644 --- /dev/null +++ b/sys/arm64/conf/RPI4 @@ -0,0 +1,46 @@ +# +# GENERIC -- Generic kernel configuration file for FreeBSD/arm64 +# +# For more information on this file, please read the config(5) manual page, +# and/or the handbook section on Kernel Configuration Files: +# +# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config +# +# The handbook is also available locally in /usr/share/doc/handbook +# if you've installed the doc distribution, otherwise always see the +# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the +# latest information. +# +# An exhaustive list of options and more detailed explanations of the +# device lines is also present in the ../../conf/NOTES and NOTES files. +# If you are in doubt as to the purpose or necessity of a line, check first +# in NOTES. +# + +cpu ARM64 +ident RPI4 + +include "std.arm64" +include "std.dev" + +# Include SoC specific configuration +include "std.al" +include "std.allwinner" +include "std.altera" +include "std.amd" +include "std.arm" +include "std.broadcom" +include "std.cavium" +include "std.ec2" +include "std.hyperv" +include "std.hisilicon" +include "std.imx" +include "std.marvell" +include "std.nvidia" +include "std.nxp" +include "std.qcom" +include "std.rockchip" +include "std.virt" +include "std.xilinx" + +options KDB