fixup

Author: Kangxu Liu

bottom/fixup.dat

@@ -0,0 +1,25 @@
+#include "uart.h"
+#include "pmap.h"
+#include "rpsio.h"
+#include "rpslib.h"
+
+extern void jump_to_el1();
+extern u_long get_current_el();
+
+void el2_main(void)
+{
+    // initialize uart
+    uart_init();
+    
+    // create page dir and page map 
+    vm_init();
+    
+    // fill page map
+	page_init();
+    
+    // jump to el1
+    printf("Now in EL%lx. Jumping to EL1...\n", get_current_el());
+    jump_to_el1();
+    
+    panic("failed to jump");
+}

os/boot/el2.c

@@ -0,0 +1,15 @@
+#ifndef _SYSCONFIG_H_
+#define _SYSCONFIG_H_
+
+#define MAXPA           (512 * 1024 * 1024)
+#define KSTKSIZE        (60 * 1024 * 1024)
+
+#define EL2STACKTOP     0x04000000
+#define KSTACKTOP       (EL3STACKTOP - 0x400000)
+#define UTOP            (UPAGES + 0x300000)
+#define UPAGES          (UVPT + 0x1000)
+#define UVPT            0x02000000
+#define KERNBASE        0x00080000
+
+#endif // _SYSCONFIG_H_
+