int86 seems to work

[bootcensus] / src / kmain.c

diff --git a/src/kmain.c b/src/kmain.c
index 6996908..fab4e6f 100644 (file)
--- a/src/kmain.c
+++ b/src/kmain.c
@@ -1,12 +1,39 @@
+/*
+pcboot - bootable PC demo/game kernel
+Copyright (C) 2018  John Tsiombikas <nuclear@member.fsf.org>
+
+This program is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY, without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+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 "int86.h"
+
+static void set_mode13h(void)
+{
+       struct int86regs regs;
+
+       memset(&regs, 0, sizeof regs);
+       regs.eax = 0x13;
+       int86(0x10, &regs);
+}
 
-void set_mode13h(void);
 void logohack(void);
 
 void pcboot_main(void)