59c3cb81c1
independent code that needs to know about INTRNG such as PCI drivers. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation
79 lines
1.9 KiB
Plaintext
79 lines
1.9 KiB
Plaintext
# Kernel configuration for Alpine Board.
|
|
#
|
|
# For more information on this file, please read the config(5) manual page,
|
|
# and/or the handbook section on Kernel Configuration Files:
|
|
#
|
|
# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
|
|
#
|
|
# The handbook is also available locally in /usr/share/doc/handbook
|
|
# if you've installed the doc distribution, otherwise always see the
|
|
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
|
|
# latest information.
|
|
#
|
|
# An exhaustive list of options and more detailed explanations of the
|
|
# device lines is also present in the ../../conf/NOTES and NOTES files.
|
|
# If you are in doubt as to the purpose or necessity of a line, check first
|
|
# in NOTES.
|
|
#
|
|
# $FreeBSD$
|
|
|
|
ident ALPINE
|
|
|
|
include "std.armv6"
|
|
include "../annapurna/alpine/std.alpine"
|
|
|
|
makeoptions MODULES_OVERRIDE=""
|
|
makeoptions WERROR="-Werror"
|
|
|
|
options HZ=100
|
|
options SCHED_4BSD # 4BSD scheduler
|
|
options SMP # Enable multiple cores
|
|
|
|
# Debugging
|
|
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
|
|
options ALT_BREAK_TO_DEBUGGER
|
|
options KDB
|
|
options DDB #Enable the kernel debugger
|
|
|
|
# Interrupt controller
|
|
device gic
|
|
options INTRNG
|
|
|
|
# Pseudo devices
|
|
device loop
|
|
device random
|
|
device pty
|
|
device md
|
|
device gpio
|
|
|
|
# ATA controllers
|
|
device ahci # AHCI-compatible SATA controllers
|
|
device ata # Legacy ATA/SATA controllers
|
|
|
|
# ATA/SCSI peripherals
|
|
device scbus # SCSI bus (required for ATA/SCSI)
|
|
device ch # SCSI media changers
|
|
device da # Direct Access (disks)
|
|
device sa # Sequential Access (tape etc)
|
|
device cd # CD
|
|
device pass # Passthrough device (direct ATA/SCSI access)
|
|
device ses # Enclosure Services (SES and SAF-TE)
|
|
#device ctl # CAM Target Layer
|
|
|
|
# Serial ports
|
|
device uart
|
|
|
|
# Ethernet
|
|
device ether
|
|
device mii
|
|
device bpf
|
|
options DEVICE_POLLING
|
|
|
|
# USB ethernet support, requires miibus
|
|
device miibus
|
|
|
|
#FDT
|
|
options FDT
|
|
options FDT_DTB_STATIC
|
|
makeoptions FDT_DTS_FILE=annapurna-alpine.dts
|