1# 2# Custom kernel for Marvell DB-78xx boards. 3# 4# $FreeBSD$ 5# 6 7ident DB-88F78XX 8include "std.arm" 9include "../mv/discovery/std.db78xxx" 10 11options SOC_MV_DISCOVERY 12 13options SCHED_4BSD # 4BSD scheduler 14options INET # InterNETworking 15options INET6 # IPv6 communications protocols 16options GEOM_PART_BSD # BSD partition scheme 17options GEOM_PART_MBR # MBR partition scheme 18options TMPFS # Efficient memory filesystem 19options FFS # Berkeley Fast Filesystem 20options NANDFS # NAND Filesystem 21options NFSCL # 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 29#options ROOTDEVNAME=\"ufs:/dev/da0a\" 30 31options SYSVSHM # SYSV-style shared memory 32options SYSVMSG # SYSV-style message queues 33options SYSVSEM # SYSV-style semaphores 34options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 35options MUTEX_NOINLINE 36options RWLOCK_NOINLINE 37options NO_FFS_SNAPSHOT 38options NO_SWAPPING 39 40device pci 41 42# Pseudo devices 43device loop 44device md 45device random 46 47# Serial ports 48device uart 49 50# Networking 51device ether 52device mge # Marvell Gigabit Ethernet controller 53device mii 54device mdio 55device e1000phy 56device bpf 57 58# USB 59device usb 60device ehci 61device umass 62device scbus 63device pass 64device da 65 66# I2C (TWSI) 67device iic 68device iicbus 69device twsi 70device ds133x 71 72# SATA 73device mvs 74 75# NAND 76device nand 77 78# GPIO 79device gpio 80 81# Flattened Device Tree 82options FDT 83options FDT_DTB_STATIC 84makeoptions FDT_DTS_FILE=db78100.dts 85