font=../sans.ttf
font=../led.ttf
kernel=../../kernel/os/kernel.exe
device=../../kernel/os/sched.rdv
device=../../kernel/os/task.rdv
device=../../kernel/freetype/freetype.rdv
device=../../kernel/os/util.rdv
device=../../kernel/acpi/acpi.rdv
device=../../kernel/os/fs.rdv
device=../../kernel/os/inifile.rdv
device=../../kernel/os/drive.rdv
device=../../kernel/os/fat.rdv
device=../../kernel/bios/pcbios.rdv (exclude for EFI boots)
device=../../kernel/os/exec.rdv
device=../../kernel/os/pe.rdv
device=../../kernel/os/guidev.rdv
device=../../kernel/os/audio.rdv
device=../../kernel/os/com.rdv
device=../../kernel/os/printer.rdv
device=../../kernel/os/net.rdv
device=../../kernel/os/ip.rdv
device=../../kernel/os/ipc.rdv
device=../../kernel/os/bignum.rdv
device=../../kernel/debug/kdebug.rdv
shutdown=../../kernel/debug/pcshut.exe
device=../../kernel/os/tlist.rdv
device=../../kernel/pcdev/apic.rdv
device=../../kernel/pcdev/rtc.rdv
device=../../kernel/pcdev/pci.rdv
device=../../kernel/bios/vga.rdv
device=../../kernel/pcdev/keymap.rdv en
device=../../kernel/pcdev/ps2keym.rdv
device=../../kernel/pcdev/ahci.rdv
device=../../kernel/pcdev/sdcard.rdv
device=../../kernel/netdev/rtl8169.rdv
device=../../kernel/audiodev/hda.rdv
device=../../kernel/usbdev/usb.rdv
device=../../kernel/usbdev/ohci.rdv
device=../../kernel/usbdev/ehci.rdv
device=../../kernel/usbdev/xhci.rdv
device=../../kernel/usbdev/hid.rdv
device=../../kernel/usbdev/hub.rdv
device=../../kernel/usbdev/usbcom.rdv
device=../../kernel/usbdev/usbdisc.rdv
set PROMPT=$p$g
set NETMASK=255.255.255.0
set GATEWAY=10.0.2.2
set IP=10.0.2.15
set DNS1=10.0.2.3
path z:\
file ../../apps/freecom/command.exe
file ../../apps/tcpwd/tcpwd.exe
run z:\command.exe