Statistics
| Branch: | Revision:

root / prex-0.9.0 / conf / x86 / pc-nommu @ 03e9c04a

History | View | Annotate | Download (2.94 KB)

1
#
2
# Prex system configuration file
3
#
4

    
5
#
6
# Make options
7
#
8
makeoptions	GCCFLAGS+= -march=i386
9
makeoptions	GCCFLAGS+= -mpreferred-stack-boundary=2
10

    
11
#
12
# Memory address
13
#
14
memory		LOADER_TEXT	0x00004000	# Start of boot loader
15
memory		KERNEL_TEXT	0x00010000	# Start of kernel
16
memory		BOOTIMG_BASE	0x00100000	# Location of boot image
17
memory		SYSPAGE_BASE	0x00000000	# Location of system page
18

    
19
#
20
# Tunable paramters
21
#
22
options 	HZ=1000		# Ticks/second of the clock
23
options 	TIME_SLICE=50	# Context switch ratio (msec)
24
options 	OPEN_MAX=8	# Max open files per process
25
options 	BUF_CACHE=16	# Blocks for buffer cache
26
options 	FS_THREADS=1	# Number of file system threads
27

    
28
#
29
# Platform settings
30
#
31
options		I386		# Processor type
32
#options 	MMU		# Memory management unit
33
options 	CACHE		# Cache memory
34
#options 	FPU		# Floating point unit
35
#options 	ROMBOOT		# Boot from ROM
36
options 	BOOTDISK	# Disk for /boot directory
37

    
38
#
39
# General setup
40
#
41
options 	POSIX		# POSIX support
42
options 	CMDBOX		# Core utilities
43
options 	TINY		# Optimize for size
44

    
45
#
46
# Kernel hacking
47
#
48
options 	KD		# Kernel debugger
49
#options 	AUDIT		# Security auditing
50

    
51
#
52
# Diagnostic options
53
#
54
#options 	DIAG_SCREEN	# Diagnostic via screen
55
#options 	DIAG_SERIAL	# Diagnostic via serial port
56
options 	DIAG_BOCHS	# Diagnostic via Bochs emulater
57

    
58
#
59
# File systems
60
#
61
options 	FIFOFS		# FIFO & Pipe
62
options 	DEVFS		# Device file system
63
options 	RAMFS		# RAM file system
64
options 	ARFS		# Archive file system
65
#options 	FATFS		# FAT file system
66

    
67
#
68
# Power management
69
#
70
options 	PM		# Power management
71
options 	PM_POWERSAVE	# Power policy: Battery optimized
72
#options 	PM_PERFORMANCE	# Power policy: Parformance optimized
73
options 	DVS_EMULATION	# Dynamic voltage scaling emulation
74

    
75
#
76
# Device drivers (initialization order)
77
#
78
device		pm		# Power management
79
device		i8237		# I8237 DMA controller
80
device		cons		# System console
81
device		wscons		# Workstation console
82
device		pckbd	    	# PC/AT Keyboard (P:wscons)
83
device		vga	    	# VGA video (P:wscons)
84
#device		serial		# Logical serial
85
#device		ns16550	    	# NS16550 serial port (P:serial)
86
#device 	psaux		# PS/2 Mouse
87
#device		cpufreq		# CPU frequency controll
88
#device		est	    	# Intel enhanced speedstep (P:cpufreq)
89
device		rtc		# Logical RTC
90
device		mc146818	# MC146818 Real time clock
91
device		null		# NULL device
92
device		zero		# Zero device
93
device		ramdisk		# RAM disk
94
#device		fdd		# Floppy disk drive
95

    
96
#
97
# Hardware configuations
98
#
99
options		NS16550_BASE=0x3f8
100
options		NS16550_IRQ=4
101
options		MC146818_BASE=0x70
102

    
103
#
104
# Command box
105
#
106
command 	cat
107
command 	clear
108
command 	cp
109
command 	date
110
command 	dmesg
111
command 	echo
112
command 	free
113
command 	head
114
command 	hostname
115
command 	kill
116
command 	ls
117
command 	mkdir
118
command 	more
119
command 	mv
120
command 	nice
121
command 	printenv
122
command 	ps
123
command 	pwd
124
command 	rm
125
command 	rmdir
126
command 	sh
127
command 	sleep
128
command 	sync
129
#command 	test
130
command 	touch
131
command 	uname
132

    
133
#
134
# Adminisrative tools
135
#
136
command 	diskutil
137
command 	install
138
command 	pmctrl
139
command 	ktrace
140
command 	lock
141
command 	debug