diff --git a/crt/kernel.c b/crt/kernel.c
index 28e076c..5302e06 100644
--- a/crt/kernel.c
+++ b/crt/kernel.c
@@ -406,6 +406,15 @@ __kernel_init(payload_args_t* args) {
     KERNEL_ADDRESS_BUS_DATA_DEVICES = KERNEL_ADDRESS_DATA_BASE + 0x20981E8;
     KERNEL_OFFSET_VMSPACE_P_ROOT    = 0x1d0;
     break;
+
+  case 0x13400000:
+    KERNEL_ADDRESS_TEXT_BASE        = KERNEL_ADDRESS_DATA_BASE - 0x0CB0000;
+    KERNEL_ADDRESS_ALLPROC          = KERNEL_ADDRESS_DATA_BASE + 0x28C9E80;
+    KERNEL_ADDRESS_SECURITY_FLAGS   = KERNEL_ADDRESS_DATA_BASE + 0x0D99064;
+    KERNEL_ADDRESS_ROOTVNODE        = KERNEL_ADDRESS_DATA_BASE + 0x3137510;
+    KERNEL_ADDRESS_BUS_DATA_DEVICES = KERNEL_ADDRESS_DATA_BASE + 0x20981E8;
+    KERNEL_OFFSET_VMSPACE_P_ROOT    = 0x1d0;
+    break;
 	  
   default:
     return -ENOSYS;