1# JZ4780 -- Kernel config for Ingenic JZ47XX boards 2# 3# $FreeBSD$ 4 5#NO_UNIVERSE 6 7# Note: SMP on 32-bit mips is no longer supported, which affects this config file. 8 9ident JZ4780 10machine mips mipselhf 11cpu CPU_XBURST 12cpu CPU_MIPS4KC 13 14makeoptions KERNLOADADDR=0x80020000 15makeoptions ARCH_FLAGS="-march=mips32r2" 16 17# Don't build any modules yet. 18makeoptions MODULES_OVERRIDE="" 19 20files "../ingenic/files.jz4780" 21hints "JZ4780.hints" #Default places to look for devices. 22 23makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 24 25options INTRNG # Borrow interrupt code from ARM 26options MIPS_NIRQ=264 # 8 cpuintc + 64 intc + 6 * 23 gpio 27 28options DDB 29options KDB 30options BREAK_TO_DEBUGGER 31 32options COMPAT_FREEBSD10 33options COMPAT_FREEBSD11 34options COMPAT_FREEBSD12 35 36options SCHED_4BSD #4BSD scheduler 37options INET #InterNETworking 38options NFSCL #Network Filesystem Client 39options NFS_ROOT #NFS usable as /, requires NFSCL 40options NFSLOCKD #Network Lock Manager 41options PSEUDOFS #Pseudo-filesystem framework 42options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions 43 44options FFS #Berkeley Fast Filesystem 45options SOFTUPDATES #Enable FFS soft updates support 46options UFS_ACL #Support for access control lists 47options UFS_DIRHASH #Improve performance on big directories 48#options ROOTDEVNAME=\"ufs:ada0\" 49 50options GEOM_LABEL # Provides labelization 51options GEOM_PART_GPT # GUID Partition Tables. 52#options GEOM_RAID # Soft RAID functionality. 53 54# Debugging for use in -current 55#options DEADLKRES #Enable the deadlock resolver 56options INVARIANTS #Enable calls of extra sanity checking 57options 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 60 61# Make an SMP-capable kernel by default 62options SMP # Symmetric MultiProcessor Kernel 63 64device loop 65device ether 66#device le 67device miibus 68device bpf 69device md 70device uart 71 72device fdt_pinctrl 73 74device clk 75device regulator 76options EXT_RESOURCES 77 78device gpio 79 80device scbus 81device da 82 83device mmc 84device mmcsd 85 86device dme 87 88device iic 89device iicbus 90 91# Framebuffer console support 92device vt 93device kbdmux 94device hdmi 95device videomode 96device pty 97 98# USB support 99options USB_DEBUG # enable debug msgs 100options USB_HOST_ALIGN=128 # L2 cache line size 101device ohci # OHCI PCI->USB interface 102device ehci # EHCI PCI->USB interface (USB 2.0) 103device dwcotg # DesignWare HS OTG controller 104device usb # USB Bus (required) 105#device udbp # USB Double Bulk Pipe devices 106device uhid # "Human Interface Devices" 107device ukbd # Allow keyboard like HIDs to control console 108#device ulpt # Printer 109device umass # Disks/Mass storage - Requires scbus and da 110device ums # Mouse 111 112# HID support 113options HID_DEBUG # enable debug msgs 114device hid # Generic HID support 115 116# FDT support 117options FDT 118