2016-01-20 13:14:36 +00:00
|
|
|
#
|
|
|
|
# Kernel configuration for Marvell Armada38x
|
|
|
|
#
|
|
|
|
# $FreeBSD$
|
|
|
|
#
|
|
|
|
|
|
|
|
include "../mv/armada38x/std.armada38x"
|
|
|
|
include "std.armv6"
|
|
|
|
|
|
|
|
ident ARMADA38X
|
|
|
|
|
|
|
|
options SOC_MV_ARMADA38X
|
|
|
|
|
|
|
|
makeoptions WERROR="-Werror"
|
2017-05-09 18:12:05 +00:00
|
|
|
makeoptions MODULES_EXTRA="dtb/mv"
|
2016-01-20 13:14:36 +00:00
|
|
|
|
|
|
|
options MD_ROOT
|
|
|
|
#makeoptions MFS_IMAGE=/path/to/miniroot
|
2016-01-20 14:00:32 +00:00
|
|
|
#options ROOTDEVNAME=\"ufs:md0\"
|
|
|
|
options ROOTDEVNAME=\"/dev/da0s1a\"
|
2016-01-20 13:14:36 +00:00
|
|
|
|
|
|
|
options SCHED_ULE # ULE scheduler
|
2016-01-20 14:49:16 +00:00
|
|
|
options SMP
|
|
|
|
|
2017-04-18 10:20:42 +00:00
|
|
|
options VM_KMEM_SIZE_MAX=0x9CCD000
|
|
|
|
|
2016-01-20 13:14:36 +00:00
|
|
|
# Pseudo devices
|
|
|
|
device random
|
|
|
|
device pty
|
|
|
|
device loop
|
|
|
|
device md
|
|
|
|
|
|
|
|
# Serial ports
|
|
|
|
device uart
|
2016-04-01 20:26:45 +00:00
|
|
|
device uart_snps
|
2016-01-20 13:14:36 +00:00
|
|
|
|
|
|
|
# Network
|
|
|
|
device ether
|
|
|
|
device vlan
|
2016-01-20 14:14:30 +00:00
|
|
|
device mii
|
|
|
|
device bpf
|
|
|
|
device re
|
2017-01-05 17:10:52 +00:00
|
|
|
device mdio
|
|
|
|
device etherswitch
|
|
|
|
device e6000sw
|
2016-01-20 14:14:30 +00:00
|
|
|
|
|
|
|
# PCI
|
|
|
|
device pci
|
2016-01-20 13:14:36 +00:00
|
|
|
|
|
|
|
# Interrupt controllers
|
|
|
|
device gic
|
2016-04-15 16:05:41 +00:00
|
|
|
options INTRNG
|
2016-01-20 13:14:36 +00:00
|
|
|
|
|
|
|
# Timers
|
|
|
|
device mpcore_timer
|
|
|
|
|
2016-01-20 14:00:32 +00:00
|
|
|
# USB
|
|
|
|
device usb
|
|
|
|
device ehci
|
2016-03-14 07:14:34 +00:00
|
|
|
device xhci
|
2016-01-20 14:00:32 +00:00
|
|
|
device umass
|
|
|
|
device scbus
|
|
|
|
device pass
|
|
|
|
device da
|
|
|
|
|
2017-05-16 05:10:15 +00:00
|
|
|
# MMC/SD/SDIO Card slot support
|
|
|
|
device mmc # mmc/sd bus
|
|
|
|
device mmcsd # mmc/sd flash cards
|
|
|
|
device sdhci # mmc/sd host controller
|
|
|
|
|
2017-01-25 10:34:37 +00:00
|
|
|
# SATA
|
|
|
|
device ahci
|
|
|
|
|
2016-01-20 14:21:06 +00:00
|
|
|
# I2C
|
|
|
|
device iic
|
|
|
|
device iicbus
|
2016-02-14 23:42:07 +00:00
|
|
|
device twsi
|
2016-01-20 14:21:06 +00:00
|
|
|
|
2016-06-02 18:41:33 +00:00
|
|
|
# CESA
|
|
|
|
device cesa
|
|
|
|
device crypto
|
|
|
|
device cryptodev
|
|
|
|
|
2017-04-18 10:35:30 +00:00
|
|
|
# L2 Cache
|
|
|
|
device pl310
|
|
|
|
|
2017-05-09 18:12:05 +00:00
|
|
|
# FDT
|
2016-01-20 13:14:36 +00:00
|
|
|
options FDT
|