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