diff --git a/boot.resc b/boot.resc
index e51cf4d..3b86bc5 100644
--- a/boot.resc
+++ b/boot.resc
@@ -1,7 +1,8 @@
 using sysbus
 mach create
 machine LoadPlatformDescription @platonic.repl
+sysbus LoadELF @../kernel/target/riscv32i-unknown-none-elf/debug/xous-kernel
 
 machine StartGdbServer 3333
 
-showAnalyzer uart
\ No newline at end of file
+showAnalyzer uart
diff --git a/platonic.repl b/platonic.repl
index e99af23..b4bad24 100644
--- a/platonic.repl
+++ b/platonic.repl
@@ -1,7 +1,13 @@
+cpu: CPU.VexRiscv @ sysbus
+    timeProvider: cpu_timer
+    cpuType: "rv32imac"
+    privilegeArchitecture: PrivilegeArchitecture.Priv1_10
+
 uart: UART.LiteX_UART @ {
         sysbus 0x60001800;
         sysbus 0xE0001800 // shadow
     }
+    -> cpu@2
 
 rom: Memory.MappedMemory @ {
         sysbus 0x00000000;
@@ -10,15 +16,10 @@ rom: Memory.MappedMemory @ {
     size: 0x00002000
 
 sram: Memory.MappedMemory @ {
-        sysbus 0x10000000;
-        sysbus 0x90000000 // shadow
+        sysbus 0x40000000;
+        sysbus 0xc0000000 // shadow
     }
-    size: 0x00020000
-
-cpu: CPU.VexRiscv @ sysbus
-    timeProvider: cpu_timer
-    cpuType: "rv32ima"
-    privilegeArchitecture: PrivilegeArchitecture.Priv1_10
+    size: 16777216
 
 cpu_timer: Timers.LiteX_CPUTimer @ sysbus 0xf0000800
     frequency: 66000000
@@ -51,4 +52,4 @@ sysbus:
         Tag <0xe0000000 0x800> "CTRL"
         Tag <0xE0006000 0x800> "REBOOT"
         Tag <0xE0006800 0x800> "RGB"
-        Tag <0xE0007000 0x800> "VERSION"
\ No newline at end of file
+        Tag <0xE0007000 0x800> "VERSION"