CFLAGS += -DCFG_VGACONSOLE=1
ALLOBJS += vgainit.o vga_subr.o kbd_subr.o x86mem.o dev_pcconsole.o dev_pcconsole2.o