VERSATILEPB revision 266331
1# VERSATILEPB - Configuration for QEMU version of Versatile Platform Board 2# 3# For more information on this file, please read the handbook section on 4# Kernel Configuration Files: 5# 6# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 7# 8# The handbook is also available locally in /usr/share/doc/handbook 9# if you've installed the doc distribution, otherwise always see the 10# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 11# latest information. 12# 13# An exhaustive list of options and more detailed explanations of the 14# device lines is also present in the ../../conf/NOTES and NOTES files. 15# If you are in doubt as to the purpose or necessity of a line, check first 16# in NOTES. 17# 18# $FreeBSD: stable/10/sys/arm/conf/VERSATILEPB 266331 2014-05-17 17:34:37Z ian $ 19 20ident VERSATILEPB 21machine arm armv6 22cpu CPU_ARM1176 23 24files "../versatile/files.versatile" 25makeoptions MODULES_OVERRIDE="" 26 27options KERNVIRTADDR=0xc0100000 28makeoptions KERNVIRTADDR=0xc0100000 29options KERNPHYSADDR=0x00100000 30makeoptions KERNPHYSADDR=0x00100000 31options PHYSADDR=0x00000000 32options FREEBSD_BOOT_LOADER 33options LINUX_BOOT_ABI 34 35makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 36options HZ=100 37 38options SCHED_4BSD # 4BSD scheduler 39options INET # InterNETworking 40options FFS # Berkeley Fast Filesystem 41options SOFTUPDATES # Enable FFS soft updates support 42options UFS_ACL # Support for access control lists 43options UFS_DIRHASH # Improve performance on big directories 44device snp 45 46options GEOM_PART_BSD # BSD partition scheme 47options GEOM_PART_MBR # MBR partition scheme 48options TMPFS # Efficient memory filesystem 49options PSEUDOFS # Pseudo-filesystem framework 50options COMPAT_43 # Compatible with BSD 4.3 [KEEP THIS!] 51options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI 52options KTRACE # ktrace(1) support 53options SYSVSHM # SYSV-style shared memory 54options SYSVMSG # SYSV-style message queues 55options SYSVSEM # SYSV-style semaphores 56options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 57options KBD_INSTALL_CDEV # install a CDEV entry in /dev 58options ROOTDEVNAME=\"ufs:da0s1a\" 59options VFP # vfp/neon 60 61options PREEMPTION 62 63device bpf 64device loop 65device mii 66device mii_bitbang 67device smc 68device smcphy 69device ether 70device uart 71device pl011 72device pl190 73 74device pty 75 76device pci 77 78# SCSI Controllers 79device sym # NCR/Symbios/LSI Logic 53C8XX/53C1010/53C1510D 80 81# ATA/SCSI peripherals 82device scbus # SCSI bus (required for ATA/SCSI) 83device da # Direct Access (disks) 84device pass # Passthrough device (direct ATA/SCSI access) 85 86# NOTE: serial console is disabled if syscons enabled 87# Comment following lines for headless setup 88device sc 89device kbdmux 90options SC_DFLT_FONT # compile font in 91makeoptions SC_DFLT_FONT=cp437 92 93options KDB 94options DDB # Enable the kernel debugger 95options INVARIANTS # Enable calls of extra sanity checking 96options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 97 98device md 99device random # Entropy device 100 101# Flattened Device Tree 102options FDT 103options FDT_DTB_STATIC 104makeoptions FDT_DTS_FILE=versatilepb.dts 105