1 #
2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
3 #
4 # $FreeBSD$
5 #
6
7 cpu BOOKE
8 cpu BOOKE_E500
9 ident MPC85XX
10
11 machine powerpc powerpc
12
13 makeoptions DEBUG="-Wa,-me500 -g"
14 makeoptions NO_MODULES=yes
15
16 options FPU_EMU
17
18 options _KPOSIX_PRIORITY_SCHEDULING
19 options ALT_BREAK_TO_DEBUGGER
20 options BREAK_TO_DEBUGGER
21 options BOOTP
22 options BOOTP_NFSROOT
23 options BOOTP_NFSV3
24 options BOOTP_WIRED_TO=tsec0
25 options CD9660
26 options COMPAT_43
27 options DDB
28 #options DEADLKRES
29 options DEVICE_POLLING
30 #options DIAGNOSTIC
31 options FDT
32 makeoptions FDT_DTS_FILE=mpc8572ds.dts
33 #makeoptions FDT_DTS_FILE=mpc8555cds.dts
34 options FFS
35 options GDB
36 options GEOM_PART_GPT
37 options INET
38 options INET6
39 options INVARIANTS
40 options INVARIANT_SUPPORT
41 options KDB
42 options KTRACE
43 options MD_ROOT
44 options MPC85XX
45 options MSDOSFS
46 options NFS_ROOT
47 options NFSCL
48 options NFSLOCKD
49 options PROCFS
50 options PSEUDOFS
51 options SCHED_ULE
52 options CAPABILITIES
53 options CAPABILITY_MODE
54 options SMP
55 options SYSVMSG
56 options SYSVSEM
57 options SYSVSHM
58 options WITNESS
59 options WITNESS_SKIPSPIN
60
61 device ata
62 device bpf
63 device cfi
64 device crypto
65 device cryptodev
66 device da
67 device ds1553
68 device em
69 device alc
70 device ether
71 device fxp
72 device iic
73 device iicbus
74 #device isa
75 device loop
76 device md
77 device miibus
78 device pass
79 device pci
80 device quicc
81 device random
82 #device rl
83 device scbus
84 device scc
85 device sec
86 device tsec
87 device tun
88 device uart
89 options USB_DEBUG # enable debug msgs
90 #device uhci
91 device umass
92 device usb
93 device vlan
Cache object: 26407ef9915ebdd38b9ec70af13b4c1a
|