along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
#include <stdio.h>
+#include <string.h>
#include <ctype.h>
#include "segm.h"
#include "intr.h"
#include "keyb.h"
#include "timer.h"
#include "contty.h"
+#include "video.h"
+
-void set_mode13h(void);
void logohack(void);
void pcboot_main(void)
halt_cpu();
while((c = kb_getkey()) >= 0) {
if(c >= KB_F1 && c <= KB_F12) {
- set_mode13h();
+ set_vga_mode(0x13);
logohack();
+ set_vga_mode(3);
}
if(isprint(c)) {
printf("key: %d '%c' \n", c, (char)c);