freebsd-skq/sys/mips/conf/JZ4780

114 lines
2.8 KiB
Plaintext

# JZ4780 -- Kernel config for Ingenic JZ47XX boards
#
# $FreeBSD$
#NO_UNIVERSE
# Note: SMP on 32-bit mips is no longer supported, which affects this config file.
ident JZ4780
machine mips mipselhf
cpu CPU_XBURST
cpu CPU_MIPS4KC
makeoptions KERNLOADADDR=0x80020000
makeoptions ARCH_FLAGS="-EL -march=mips32r2"
# Don't build any modules yet.
makeoptions MODULES_OVERRIDE=""
files "../ingenic/files.jz4780"
hints "JZ4780.hints" #Default places to look for devices.
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
options INTRNG # Borrow interrupt code from ARM
options MIPS_NIRQ=264 # 8 cpuintc + 64 intc + 6 * 23 gpio
options DDB
options KDB
options BREAK_TO_DEBUGGER
options COMPAT_FREEBSD10
options COMPAT_FREEBSD11
options SCHED_4BSD #4BSD scheduler
options INET #InterNETworking
options NFSCL #Network Filesystem Client
options NFS_ROOT #NFS usable as /, requires NFSCL
options NFSLOCKD #Network Lock Manager
options PSEUDOFS #Pseudo-filesystem framework
options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
options FFS #Berkeley Fast Filesystem
options SOFTUPDATES #Enable FFS soft updates support
options UFS_ACL #Support for access control lists
options UFS_DIRHASH #Improve performance on big directories
#options ROOTDEVNAME=\"ufs:ada0\"
options GEOM_LABEL # Provides labelization
options GEOM_PART_GPT # GUID Partition Tables.
#options GEOM_RAID # Soft RAID functionality.
# Debugging for use in -current
#options DEADLKRES #Enable the deadlock resolver
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
# Make an SMP-capable kernel by default
options SMP # Symmetric MultiProcessor Kernel
device loop
device ether
#device le
device miibus
device bpf
device md
device uart
device random
device fdt_pinctrl
device clk
device regulator
options EXT_RESOURCES
device gpio
device scbus
device da
device mmc
device mmcsd
device dme
device iic
device iicbus
# Framebuffer console support
device vt
device kbdmux
device hdmi
device videomode
device pty
# USB support
options USB_DEBUG # enable debug msgs
options USB_HOST_ALIGN=128 # L2 cache line size
device ohci # OHCI PCI->USB interface
device ehci # EHCI PCI->USB interface (USB 2.0)
device dwcotg # DesignWare HS OTG controller
device usb # USB Bus (required)
#device udbp # USB Double Bulk Pipe devices
device uhid # "Human Interface Devices"
device ukbd # Allow keyboard like HIDs to control console
#device ulpt # Printer
device umass # Disks/Mass storage - Requires scbus and da
device ums # Mouse
# FDT support
options FDT