diff options
Diffstat (limited to 'sys/riscv/conf/SPIKE')
| -rw-r--r-- | sys/riscv/conf/SPIKE | 26 |
1 files changed, 26 insertions, 0 deletions
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 |
