###############################################################
# bochsrc file for pragmalinux disk image.
#
# This file is provided both as .bochsrc and bochsrc so
# that it works on win32 and unix.
###############################################################

# how much memory the emulated machine will have
megs: 32

# filename of ROM images
romimage: file=/mit/6.097/share/bochs/bios/BIOS-bochs-latest, address=0xf0000
vgaromimage: /mit/6.097/share/bochs/bios/VGABIOS-elpin-2.40

diskc: file="./kern/obj/bochs.img", cyl=200, heads=16, spt=63
newharddrivesupport: enabled=1

# choose the boot disk.
boot: c

# where do we send log messages?
log: bochsout.txt
#log: /dev/stdout

# disable the mouse, since this pragmalinux is text only
mouse: enabled=0

#debug: action=report
#info: action=report
#error: action=report

#debug: action=ignore
info: action=ignore
error: action=report
panic: action=ask
