Changeset View
Changeset View
Standalone View
Standalone View
sys/arm/conf/FVP_VE_CORTEX_A15x1_GUEST
- This file was added.
| # | |||||
| # FVP_VE_CORTEX_A15x1 - custom configuration | |||||
| # | |||||
| ident FVP_VE_CORTEX_A15x1 | |||||
| makeoption ARM_LITTLE_ENDIAN | |||||
| cpu CPU_CORTEXA | |||||
| machine arm armv6 | |||||
| makeoptions CONF_CFLAGS="-mcpu=cortex-a15" | |||||
| include "std.armv6" | |||||
| files "../fvp_ve-cortex_a15x1/files.fvp_ve-cortex_a15x1_guest" | |||||
| options KERNVIRTADDR=0xc0000000 | |||||
| makeoptions KERNVIRTADDR=0xc0000000 | |||||
| #options KERNPHYSADDR=0xc0000000 | |||||
| #makeoptions KERNPHYSADDR=0xc0000000 | |||||
| options PHYSADDR=0xc0000000 | |||||
| options HZ=100 | |||||
| options SCHED_ULE # ULE scheduler | |||||
| options PLATFORM | |||||
| #options SMP # Enable multiple cores | |||||
| nooptions SMP | |||||
| nooptions FREEBSD_BOOT_LOADER | |||||
| options VFP | |||||
| # Debugging for use in -current | |||||
| makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols | |||||
| options BREAK_TO_DEBUGGER | |||||
| options DEBUG | |||||
| # options EARLY_PRINTF | |||||
| #options VERBOSE_SYSINIT # Enable verbose sysinit messages | |||||
| options KDB # Enable kernel debugger support | |||||
| # For minimum debugger support (stable branch) use: | |||||
| options KDB_TRACE # Print a stack trace for a panic | |||||
| # For full debugger support use this instead: | |||||
| options DDB # Enable the kernel debugger | |||||
| options INVARIANTS # Enable calls of extra sanity checking | |||||
| options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS | |||||
| #options WITNESS # Enable checks to detect deadlocks and cycles | |||||
| #options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed | |||||
| options DIAGNOSTIC | |||||
| options KTRACE | |||||
| #options ROOTDEVNAME=\"ufs:/dev/da0\" | |||||
| options MD_ROOT | |||||
| makeoptions MFS_IMAGE=/root/reps/bhyvearm-utils/ramdisk/ramdisk-guest.img | |||||
| options ROOTDEVNAME=\"ufs:/dev/md0\" | |||||
| # Pseudo devices | |||||
| device loop | |||||
| device ether | |||||
| device pty | |||||
| device md | |||||
| device bpf | |||||
| # Serial ports | |||||
| device bvmconsole | |||||
| # GIC | |||||
| device gic | |||||
| options INTRNG | |||||
| # GPIO | |||||
| #device gpio | |||||
| # VirtIO | |||||
| device virtio | |||||
| device virtio_mmio | |||||
| device virtio_random | |||||
| device virtio_console | |||||
| device vtnet | |||||
| device virtio_blk | |||||
| # Flattened Device Tree | |||||
| options FDT # Configure using FDT/DTB data | |||||
| options FDT_DTB_STATIC | |||||
| makeoptions FDT_DTS_FILE=fvp_ve-cortex_a15x1_guest.dts | |||||