| DB-88F6XXX (233271) | DB-88F6XXX (235609) |
|---|---|
| 1# 2# Custom kernel for Marvell DB-88F6xxx boards. 3# | 1# 2# Custom kernel for Marvell DB-88F6xxx boards. 3# |
| 4# $FreeBSD: head/sys/arm/conf/DB-88F6XXX 233271 2012-03-21 08:38:42Z ed $ | 4# $FreeBSD: head/sys/arm/conf/DB-88F6XXX 235609 2012-05-18 14:41:14Z gber $ |
| 5# 6 7ident DB-88F6XXX 8include "../mv/kirkwood/std.db88f6xxx" 9 10options SOC_MV_KIRKWOOD 11makeoptions MODULES_OVERRIDE="" 12 13#makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 14makeoptions WERROR="-Werror" 15 16options SCHED_4BSD #4BSD scheduler 17options INET #InterNETworking 18options INET6 #IPv6 communications protocols 19options FFS #Berkeley Fast Filesystem | 5# 6 7ident DB-88F6XXX 8include "../mv/kirkwood/std.db88f6xxx" 9 10options SOC_MV_KIRKWOOD 11makeoptions MODULES_OVERRIDE="" 12 13#makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 14makeoptions WERROR="-Werror" 15 16options SCHED_4BSD #4BSD scheduler 17options INET #InterNETworking 18options INET6 #IPv6 communications protocols 19options FFS #Berkeley Fast Filesystem |
| 20options NANDFS #NAND Filesystem |
|
| 20options NFSCL #New Network Filesystem Client 21options NFSLOCKD #Network Lock Manager 22options NFS_ROOT #NFS usable as /, requires NFSCL 23options BOOTP 24options BOOTP_NFSROOT 25options BOOTP_NFSV3 26options BOOTP_WIRED_TO=mge0 27 --- 52 unchanged lines hidden (view full) --- 80 81# I2C (TWSI) 82device iic 83device iicbus 84 85# SATA 86device mvs 87 | 21options NFSCL #New Network Filesystem Client 22options NFSLOCKD #Network Lock Manager 23options NFS_ROOT #NFS usable as /, requires NFSCL 24options BOOTP 25options BOOTP_NFSROOT 26options BOOTP_NFSV3 27options BOOTP_WIRED_TO=mge0 28 --- 52 unchanged lines hidden (view full) --- 81 82# I2C (TWSI) 83device iic 84device iicbus 85 86# SATA 87device mvs 88 |
| 89# NAND 90device nand 91 |
|
| 88# Flattened Device Tree 89options FDT | 92# Flattened Device Tree 93options FDT |
| 94options FDT_DTB_STATIC |
|
| 90makeoptions FDT_DTS_FILE=db88f6281.dts | 95makeoptions FDT_DTS_FILE=db88f6281.dts |