1# 2# Custom kernel for Marvell DB-88F5xxx boards. 3# 4# $FreeBSD$ 5# 6 7ident DB-88F5XXX 8include "std.arm" 9include "../mv/orion/std.db88f5xxx" 10 11options SOC_MV_ORION 12 13options SCHED_4BSD # 4BSD scheduler 14options INET # InterNETworking 15options INET6 # IPv6 communications protocols 16options TCP_HHOOK # hhook(9) framework for TCP 17options GEOM_PART_BSD # BSD partition scheme 18options GEOM_PART_MBR # MBR partition scheme 19options TMPFS # Efficient memory filesystem 20options FFS # Berkeley Fast 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 md 44device loop 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 57options DEVICE_POLLING 58options HZ=1000 59 60# I2C (TWSI) 61device iic 62device iicbus 63device twsi 64device ds133x 65 66# USB 67device usb 68device ehci 69device umass 70device scbus 71device pass 72device da 73 74# SATA 75device mvs 76 77# GPIO 78device gpio 79 80# Flattened Device Tree 81options FDT 82makeoptions FDT_DTS_FILE=db88f5281.dts 83