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