/release/picobsd/qemu/PICOBSD

  1#
  2# $FreeBSD$
  3# A configuration file to run tests on qemu.
  4# We disable SMP because it does not work well with qemu, and set HZ=1000
  5# to avoid it being overridden.
  6#
  7# Line starting with #PicoBSD contains PicoBSD build parameters
  8#marker         def_sz  init    MFS_inodes      floppy_inodes
  9#PicoBSD	18000	init	8192		32768
 10options MD_ROOT_SIZE=18000      # same as def_sz
 11
 12hints	"PICOBSD.hints"
 13
 14# values accessible through getenv()
 15# env		"PICOBSD.env"
 16
 17#cpu		I486_CPU
 18cpu		I586_CPU
 19cpu		I686_CPU
 20ident		PICOBSD
 21
 22# SMP seems to be needed for kern_et
 23options		SMP
 24device	apic
 25
 26options		SCHED_ULE	# mandatory to have one scheduler
 27options		PREEMPTION	# needed for decent interrupt processing
 28#options	MATH_EMULATE		#Support for x87 emulation
 29options 	INET			#InterNETworking
 30#options	INET6
 31options 	FFS			#Berkeley Fast Filesystem
 32#options	BOOTP			#Use BOOTP to obtain IP address/hostname
 33options 	MD_ROOT			#MD is a potential root device
 34
 35#options	NFS			#Network Filesystem
 36#options	NFS_ROOT		#NFS usable as root device, NFS required
 37
 38#options 	MSDOSFS			#MSDOS Filesystem
 39#options 	CD9660			#ISO 9660 Filesystem
 40#options 	CD9660_ROOT		#CD-ROM usable as root, CD9660 required
 41#options	DEVFS			#Device Filesystem
 42#options 	PROCFS			#Process filesystem
 43options		COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
 44
 45options		KDB
 46options		DDB
 47
 48options		IPFIREWALL
 49options		IPFIREWALL_DEFAULT_TO_ACCEPT
 50options		IPDIVERT		# divert (for natd)
 51
 52# Support for bridging and bandwidth limiting
 53options		DUMMYNET
 54device		if_bridge
 55# Running with less than 1000 seems to give poor timing on
 56# qemu, so we set HZ explicitly.
 57options		HZ=1000
 58
 59device		random			# used by ssh
 60device		pci
 61
 62# Floppy drives
 63device		fdc
 64
 65# ATA and ATAPI devices
 66#device		ata
 67#device		atadisk			# ATA disk drives
 68#device		atapicd			# ATAPI CDROM drives
 69#options		ATA_STATIC_ID		#Static device numbering
 70
 71# atkbdc0 controls both the keyboard and the PS/2 mouse
 72device		atkbdc			# At keyboard controller
 73device		atkbd
 74#device		psm			# do we need the mouse ??
 75
 76device		vga			# VGA screen
 77
 78# syscons is the default console driver, resembling an SCO console
 79device		sc
 80
 81# Serial (COM) ports
 82device		uart
 83
 84# Audio support
 85#device		pcm
 86
 87# PCCARD (PCMCIA) support
 88#device		card		# pccard bus
 89#device		pcic		# PCMCIA bridge
 90
 91# Parallel port
 92#device		ppc
 93#device		ppbus		# Parallel port bus (required)
 94#device		lpt		# Printer
 95#device		plip		# TCP/IP over parallel
 96#device		ppi		# Parallel port interface device
 97
 98#
 99# The following Ethernet NICs are all PCI devices.
100#
101device	miibus 
102device		fxp		# Intel EtherExpress PRO/100B (82557, 82558)
103device		nfe		# nVidia nForce MCP on-board Ethernet
104#device		xl		# 3Com
105device		rl		# RealTek 8129/8139
106device		re		# RealTek 8139C+/8169/8169S/8110S
107device		sis		# National/SiS
108device		dc		# DEC/Intel 21143 and various workalikes
109device		ed
110
111device		loop		# Network loopback
112device		ether		# Ethernet support
113device		tun		# Packet tunnel.
114device		pty		# Pseudo-ttys (telnet etc)
115device		md		# Memory "disks"
116#device		gif	4	# IPv6 and IPv4 tunneling
117#device		faith	1	# IPv6-to-IPv4 relaying (translation)
118device		tap
119
120#options 	VIMAGE		# soner or later we may want to test this
121#options               DEVICE_POLLING
122
123# The `bpf' device enables the Berkeley Packet Filter.
124# Be aware of the administrative consequences of enabling this!
125device		bpf		# Berkeley packet filter