diff options
author | br <br@FreeBSD.org> | 2016-02-11 13:28:52 +0000 |
---|---|---|
committer | br <br@FreeBSD.org> | 2016-02-11 13:28:52 +0000 |
commit | df72348057d5ace1c8df43ec9ed965237b77b7ce (patch) | |
tree | bb05293649c6af0b3f561d960b7ab5caa2d5bd2c /sys/riscv | |
parent | 323ead721e8c5d3d52d26da883d528cd729a0a91 (diff) | |
download | FreeBSD-src-df72348057d5ace1c8df43ec9ed965237b77b7ce.zip FreeBSD-src-df72348057d5ace1c8df43ec9ed965237b77b7ce.tar.gz |
o Move non-generic kernel configuration out from GENERIC.
o Add kernel configuration for QEMU.
Both SPIKE and QEMU kernel configs are temporary (until
we will be able to obtain DTB from loader).
Sponsored by: DARPA, AFRL
Sponsored by: HEIF5
Diffstat (limited to 'sys/riscv')
-rw-r--r-- | sys/riscv/conf/GENERIC | 3 | ||||
-rw-r--r-- | sys/riscv/conf/QEMU | 26 | ||||
-rw-r--r-- | sys/riscv/conf/SPIKE | 26 |
3 files changed, 52 insertions, 3 deletions
diff --git a/sys/riscv/conf/GENERIC b/sys/riscv/conf/GENERIC index a32a1f2..2565921 100644 --- a/sys/riscv/conf/GENERIC +++ b/sys/riscv/conf/GENERIC @@ -98,7 +98,4 @@ device md # Memory "disks" device gif # IPv6 and IPv4 tunneling device firmware # firmware assist module -# RISCVTODO: This needs to be done via loader (when it's available). options FDT -options FDT_DTB_STATIC -makeoptions FDT_DTS_FILE=spike.dts diff --git a/sys/riscv/conf/QEMU b/sys/riscv/conf/QEMU new file mode 100644 index 0000000..f04075a --- /dev/null +++ b/sys/riscv/conf/QEMU @@ -0,0 +1,26 @@ +# +# Kernel configuration file for QEMU emulator. +# +# For more information on this file, please read the config(5) manual page, +# and/or the handbook section on Kernel Configuration Files: +# +# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html +# +# 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 (http://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. +# +# $FreeBSD$ + +include GENERIC +ident QEMU + +# RISCVTODO: This needs to be done via loader (when it's available). +options FDT_DTB_STATIC +makeoptions FDT_DTS_FILE=qemu.dts diff --git a/sys/riscv/conf/SPIKE b/sys/riscv/conf/SPIKE new file mode 100644 index 0000000..583d5a9 --- /dev/null +++ b/sys/riscv/conf/SPIKE @@ -0,0 +1,26 @@ +# +# Kernel configuration file for UCB Spike simulator. +# +# For more information on this file, please read the config(5) manual page, +# and/or the handbook section on Kernel Configuration Files: +# +# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html +# +# 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 (http://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. +# +# $FreeBSD$ + +include GENERIC +ident SPIKE + +# RISCVTODO: This needs to be done via loader (when it's available). +options FDT_DTB_STATIC +makeoptions FDT_DTS_FILE=spike.dts |