Parse command-line options much earlier, so that thread_mlfqs is
[pintos.git] / src / devices / vga.h
blob59690fb734a1c3abf8e1cc35fff916c6633aa3a6
1 #ifndef DEVICES_VGA_H
2 #define DEVICES_VGA_H
4 void vga_putc (int);
6 #endif /* devices/vga.h */