# $OpenBSD: RAMDISK,v 1.2 2009/05/11 12:49:24 drahn 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	beagle	arm

options	TIMEZONE=0	# time zone to adjust RTC time by
options	DST=0		# daylight saving time used by RTC
options	FFS		# UFS
#options	CD9660		# ISO 9660 + Rock Ridge file system
options	MSDOSFS		# MS-DOS file system
options	INET		# IP + ICMP + TCP + UDP
options	INET6		# IPv6 (needs INET)
options	DDB		# kernel debugger
options	FIFO		# FIFOs; RECOMMENDED
#options	NFSCLIENT	# NFS 

options		ARM11_AVIC_INTR

options		CACHE_CLEAN_BLOCK_INTR

makeoptions	KERNEL_BASE_PHYS="0x80300000"
makeoptions	KERNEL_BASE_VIRT="0xc0300000"
makeoptions	BOARDTYPE="beagle"
options	BUILD_STARTUP_PAGETABLE
options	STARTUP_PAGETABLE_ADDR=0x80200000
options	SDRAM_START="0x80000000"

options		APERTURE

# estimated number of users

maxusers	32

# CPU options
options	CPU_ARMv7	# Support the ARM11
makeoptions	CPUFLAGS="-mcpu=armv5"

#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

config		bsd	root on rd0a swap on rd0b

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

prcm0		at ahb? addr 0x48004800	# power/clock controller
intc0		at ahb? addr 0x48200000	# interrupt controller
gptimer0	at ahb? addr 0x49032000	intr 38 # timer GPTIMER2
gptimer1	at ahb? addr 0x48318000	intr 37 # timer GPTIMER1

#sm0		at ahb?	addr 0x0C000300 intr 188 #ethernet

#omgpio0		at ahb? addr 0x48018000 intr 29
#omgpio1		at ahb? addr 0x4801a000 intr 30
#omgpio2		at ahb? addr 0x4801c000 intr 31
#omgpio3		at ahb? addr 0x4801e000 intr 32

omdog0		at ahb? addr 0x48314000 		# watchdog timer

#omkbd0		at ahb? addr 0x48022000 		
#wskbd*		at omkbd? mux 1

#ohci0		at ahb? addr 0x4805E000 size 0x400 intr 78	# ohci (shim)

#mcspi0		at ahb? addr 0x48098000 intr 65
#mcspi1		at ahb? addr 0x4809A000 intr 66

#atlas0		at ahb? intr 85	# really a spi device, not ahb
#wskbd*		at atlas? mux 1 

#usbotg0	at ahb? addr 0x4c000000 size 0x70 intr 3
#usb*		at ohci?

# ## USB bus support
# usb*		at ohci?	flags 0x1
# uhub*		at usb?
# uhub*		at uhub?
# 
# 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
# scsibus*	at umass?
# 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
# 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
# cue*		at uhub?		# CATC USB-EL1201A based Ethernet
# kue*		at uhub?		# Kawasaki KL5KUSB101B based Ethernet
# cdce*		at uhub?		# CDC Ethernet
# upl*		at uhub?		# Prolific PL2301/PL2302 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
# urio*		at uhub?		# Diamond Multimedia Rio 500
# uscanner*	at uhub?		# USB Scanners
# usscanner*	at uhub?		# USB SCSI scanners, e.g., HP5300
# scsibus*	at usscanner?
# #uyap*		at uhub?		# Y@P firmware loader
# udsbr*		at uhub?		# D-Link DSB-R100 radio
# radio*		at udsbr?		# USB radio
# #ubt*		at uhub?		# USB Bluetooth
# ugen*		at uhub?		# USB Generic driver
# 
# ukphy*	at mii?				# "unknown" PHYs
# 
# sd*		at scsibus?
# st*		at scsibus?
# cd*		at scsibus?
# ch*		at scsibus?
# ss*		at scsibus?
# uk*		at scsibus?


# onboard uarts
com0	at ahb?	addr	0x49020000	size 0x400 intr 74 # UART3

#com1	at ahb?	addr	0xXXXXXX00	size 0x400 intr 73
#com2	at ahb?	addr	0xXXXXXX00	size 0x400 intr 74

# LCD
#omdisplay0	at ahb? addr 0x48050000 intr 25 # LCD DISPLAY
#wsdisplay*	at omdisplay? console ?

# APM emulation
#apm0		at pxaip?

# Pseudo-Devices
#pseudo-device	wsmux		2	# mouse & keyboard multiplexor
#pseudo-device	crypto		1
pseudo-device	loop		1	# network loopback
pseudo-device   bpfilter        1       # packet filter
pseudo-device   rd              1       # ram disk

# RAMDISK stuff
options	MINIROOTSIZE=5120
options	RAMDISK_HOOKS