1 # JZ4780 -- Kernel config for Ingenic JZ47XX boards
7 # Note: SMP on 32-bit mips is no longer supported, which affects this config file.
14 makeoptions KERNLOADADDR=0x80020000
15 makeoptions ARCH_FLAGS="-EL -march=mips32r2"
17 # Don't build any modules yet.
18 makeoptions MODULES_OVERRIDE=""
20 files "../ingenic/files.jz4780"
21 hints "JZ4780.hints" #Default places to look for devices.
23 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
25 options INTRNG # Borrow interrupt code from ARM
26 options MIPS_NIRQ=264 # 8 cpuintc + 64 intc + 6 * 23 gpio
30 options BREAK_TO_DEBUGGER
32 options COMPAT_FREEBSD10
33 options COMPAT_FREEBSD11
34 options COMPAT_FREEBSD12
36 options SCHED_4BSD #4BSD scheduler
37 options INET #InterNETworking
38 options NFSCL #Network Filesystem Client
39 options NFS_ROOT #NFS usable as /, requires NFSCL
40 options NFSLOCKD #Network Lock Manager
41 options PSEUDOFS #Pseudo-filesystem framework
42 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
44 options FFS #Berkeley Fast Filesystem
45 options SOFTUPDATES #Enable FFS soft updates support
46 options UFS_ACL #Support for access control lists
47 options UFS_DIRHASH #Improve performance on big directories
48 #options ROOTDEVNAME=\"ufs:ada0\"
50 options GEOM_LABEL # Provides labelization
51 options GEOM_PART_GPT # GUID Partition Tables.
52 #options GEOM_RAID # Soft RAID functionality.
54 # Debugging for use in -current
55 #options DEADLKRES #Enable the deadlock resolver
56 options INVARIANTS #Enable calls of extra sanity checking
57 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
58 #options WITNESS #Enable checks to detect deadlocks and cycles
59 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
61 # Make an SMP-capable kernel by default
62 options SMP # Symmetric MultiProcessor Kernel
92 # Framebuffer console support
100 options USB_DEBUG # enable debug msgs
101 options USB_HOST_ALIGN=128 # L2 cache line size
102 device ohci # OHCI PCI->USB interface
103 device ehci # EHCI PCI->USB interface (USB 2.0)
104 device dwcotg # DesignWare HS OTG controller
105 device usb # USB Bus (required)
106 #device udbp # USB Double Bulk Pipe devices
107 device uhid # "Human Interface Devices"
108 device ukbd # Allow keyboard like HIDs to control console
109 #device ulpt # Printer
110 device umass # Disks/Mass storage - Requires scbus and da