ptos/amd64+hal: Add interrupt handling + P1 KPCR init

Signed-off-by: Chloe M. <chloe@mensia.org>

service/ptos/ke/init.c

@@ -11,9 +11,13 @@
 #include <ex/trace.h>
 #include <mm/pm.h>
 #include <hal/serial.h>
+#include <hal/kpcr.h>
 #include <drivers/bootvid/fbio.h>
 #include <string.h>
 
+/* Globals */
+static KPCR BootstrapCore;
+
 /*
  * Display the copyright for legal reasons
  */
@@ -48,4 +52,7 @@ KiKernelInit(VOID)
 
     /* Initialize physical memory */
     MmPmInit();
+
+    /* Phase 1 init of bootstrap core */
+    HalKpcrP1Init(&BootstrapCore);
 }