../ Makefile,v 14-Apr-2004 22:00 2740 head.S,v 14-Apr-2004 22:00 4820 iso_font.h,v 14-Apr-2004 22:00 23924 kbd.c,v 14-Apr-2004 22:00 5493 misc.c,v 14-Apr-2004 22:00 12273 vreset.c,v 14-Apr-2004 22:00 18989