1228072Sbapt# 2228072Sbapt# BERI_DE4_BASE -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC 3228072Sbapt# Implementation) FPGA soft core, as configured in its Terasic DE-4 reference 4228072Sbapt# configuration. This kernel configration must be further specialized to 5228072Sbapt# to include a root filesystem specification. 6228072Sbapt# 7228072Sbapt# $FreeBSD$ 8228072Sbapt# 9228072Sbapt 10228072Sbaptinclude "BERI_TEMPLATE" 11228072Sbapt 12228072Sbaptident BERI_DE4_BASE 13228072Sbapt 14228072Sbaptoptions NFSCL # Network Filesystem Client 15228072Sbaptoptions NFSLOCKD # Network Lock Manager 16228072Sbaptoptions NFS_ROOT # NFS usable as /, requires NFSCL 17228072Sbapt 18228072Sbaptoptions FDT 19228072Sbaptoptions FDT_DTB_STATIC 20228072Sbaptmakeoptions FDT_DTS_FILE=beripad-de4.dts 21228072Sbapt 22228072Sbapthints "BERI_DE4.hints" # Flash partitions still use hints. 23228072Sbapt 24228072Sbaptdevice altera_atse 25228072Sbaptdevice altera_avgen 26228072Sbaptdevice altera_jtag_uart 27228072Sbaptdevice altera_sdcard 28228072Sbaptdevice terasic_de4led 29228072Sbaptdevice terasic_mtl 30228072Sbapt 31228072Sbaptdevice bpf 32228072Sbaptdevice cfi 33228072Sbaptdevice cfid 34228072Sbaptoptions CFI_SUPPORT_STRATAFLASH 35228072Sbaptoptions ATSE_CFI_HACK 36228072Sbaptdevice vt 37228072Sbaptdevice kbdmux 38228072Sbapt 39228072Sbaptdevice uart 40228072Sbapt 41228072Sbaptdevice miibus 42228072Sbaptoptions DEVICE_POLLING 43228072Sbapt 44228072Sbapt# 45228072Sbapt# USB support 46228072Sbapt# 47228072Sbapt#options USB_DEBUG 48228072Sbapt#options USB_REQ_DEBUG 49228072Sbapt#options USB_VERBOSE 50228072Sbaptdevice usb 51228072Sbaptdevice saf1761otg 52228072Sbapt 53228072Sbapt