# $OpenBSD: GENERIC-SUNXI,v 1.12 2015/01/04 20:55:38 uaa Exp $
#
# GENERIC machine description file
#
# This machine description file is used to generate the default OpenBSD
# kernel.  The generic kernel does not include all options, subsystems
# and device drivers, but should be useful for most applications.
#
# The machine description file can be customised for your specific
# machine to reduce the kernel size and improve its performance.
#
# For further information on compiling OpenBSD kernels, see the config(8)
# man page.
#
# For further information on hardware support for this architecture, see
# the intro(4) man page.  For further information about kernel options
# for this architecture, see the options(4) man page.  For an explanation
# of each device driver in this file see the section 4 man page for the
# device.

machine	armv7	arm
include "../../../conf/GENERIC"

makeoptions	KERNEL_BASE_PHYS="0x40800000"
makeoptions	KERNEL_BASE_VIRT="0xc0800000"
options	BUILD_STARTUP_PAGETABLE
options	STARTUP_PAGETABLE_ADDR=0x40200000
options	SDRAM_START="0x40000000"

option CONF_HAVE_GPIO

#options		APERTURE

#options BOOT_CONFIG	# boot-time kernel config

# estimated number of users

maxusers	32

# CPU options
options	CPU_ARMv7	# Support the ARMv7

#option WSDISPLAY_COMPAT_USL		# VT handling
#option WSDISPLAY_COMPAT_RAWKBD		# can get raw scancodes
option WSDISPLAY_DEFAULTSCREENS=1
#option WSDISPLAY_COMPAT_PCVT		# emulate some ioctls

option		USBVERBOSE

config		bsd	swap generic

# The main bus device
mainbus0	at root
cpu0		at mainbus?

# Sunxi A1x/A20 SoC
sunxi0	at mainbus?

# A1x only
a1xintc*	at sunxi?		# interrupt controller

# A20 only
cortex0		at mainbus?
ampintc*	at cortex?
#agtimer*	at cortex?

# Sunxi on-chip devices
sxipio*		at sunxi?		# GPIO pins for leds & PHYs
sxiccmu*	at sunxi?		# Clock Control Module/Unit
sxitimer*	at sunxi?
sxidog*		at sunxi?		# watchdog timer
sxirtc*		at sunxi?		# Real Time Clock
sxiuart*	at sunxi?		# onboard UARTs
sxie*		at sunxi?
ahci*		at sunxi?		# AHCI/SATA (shim)
ehci*		at sunxi?		# EHCI (shim)
#ohci*		at sunxi?		# OHCI (shim)
#usbotg0	at sunxi?

gpio*		at sxipio?

# USB bus support
usb*		at ehci?	#flags 0x1
#usb*		at ohci?

uhub*		at usb?			# USB Hubs
uhub*		at uhub?		# USB Hubs
umodem*		at uhub?		# USB Modems/Serial
ucom*		at umodem?
uvisor*		at uhub?		# Handspring Visor
ucom*		at uvisor?
uvscom*		at uhub?		# SUNTAC Slipper U VS-10U serial
ucom*		at uvscom?
ubsa*		at uhub?		# Belkin serial adapter
ucom*		at ubsa?
uftdi*		at uhub?		# FTDI FT8U100AX serial adapter
ucom*		at uftdi?
uplcom* 	at uhub?		# I/O DATA USB-RSAQ2 serial adapter
ucom*		at uplcom?
umct*		at uhub?		# MCT USB-RS232 serial adapter
ucom*		at umct?
uaudio* 	at uhub?		# USB Audio
audio*		at uaudio?
umidi*		at uhub?		# USB MIDI
midi*		at umidi?
ulpt*		at uhub?		# USB Printers
umass*		at uhub?		# USB Mass Storage devices
uhidev*		at uhub?		# Human Interface Devices
ums*		at uhidev?		# USB mouse
wsmouse*	at ums? mux 0
ukbd*		at uhidev?		# USB keyboard
wskbd*		at ukbd? mux 1
uslhcom*	at uhidev?		# Silicon Labs CP2110 USB HID UART
ucom*		at uslhcom?
uhid*		at uhidev?		# USB generic HID support
aue*		at uhub?		# ADMtek AN986 Pegasus Ethernet
atu*		at uhub?		# Atmel AT76c50x based 802.11b
axe*		at uhub?		# ASIX Electronics AX88172 USB Ethernet
axen*		at uhub?		# ASIX Electronics AX88179 USB Ethernet
cue*		at uhub?		# CATC USB-EL1201A based Ethernet
kue*		at uhub?		# Kawasaki KL5KUSB101B based Ethernet
smsc*		at uhub?		# SMSC LAN95xx Ethernet
cdce*		at uhub?		# CDC Ethernet
upl*		at uhub?		# Prolific PL2301/PL2302 host-to-host `network'
ugl*		at uhub?		# Genesys Logic GL620USB-A host-to-host `network'
udav*		at uhub?		# Davicom DM9601 based Ethernet
url*		at uhub?		# Realtek RTL8150L based adapters
wi*		at uhub?		# WaveLAN IEEE 802.11DS
udsbr*		at uhub?		# D-Link DSB-R100 radio
radio*		at udsbr?		# USB radio
ugen*		at uhub?		# USB Generic driver
rum*		at uhub?		# Ralink RT2501USB/RT2601USB
# XXX missing usable drivers, like run(4).

ukphy*		at mii?			# "unknown" PHYs
rlphy*		at mii?			# Realtek 8139 internal PHYs
rgephy*		at mii?			# Realtek 8169S/8110S PHY

scsibus*	at scsi?
sd*		at scsibus?
st*		at scsibus?
cd*		at scsibus?
ch*		at scsibus?
uk*		at scsibus?

# GPIO "pin bus" drivers
gpioiic*	at gpio?		# I2C bus bit-banging
iic*		at gpioiic?
gpioow*		at gpio?		# 1-Wire bus bit-banging
onewire*	at gpioow?

# 1-Wire devices
option	ONEWIREVERBOSE
owid*		at onewire?		# ID
owsbm*		at onewire?		# Smart Battery Monitor
owtemp*		at onewire?		# Temperature
owctr*		at onewire?		# Counter device

# Pseudo-Devices
pseudo-device hotplug         1       # devices hot plugging