Merge branch 'arrakis'
[barrelfish] / kernel / Hakefile
index 3b25068..de6f7d1 100644 (file)
@@ -41,6 +41,7 @@ let
                "startup.c",
                "stdlib.c",
                "string.c",
+               "sys_debug.c",
                "syscall.c",
                "wakeup.c",
                "useraccess.c",
@@ -469,5 +470,30 @@ let
                          "omap/omap44xx_mmu",
                          "omap/omap44xx_spinlock"],
      addLibraries = [ "elf", "cpio" ]
+     },
+  --
+  -- Applied Micro APM88xxxx series SoC,
+  -- used to run a heterogenous system on the pandaboard
+  --
+
+  cpuDriver {
+     target = "apm88xxxx",
+     architectures = [ "armv8" ],
+     assemblyFiles = [ "arch/apm88xxxx/boot.S",
+                       "arch/armv8/exceptions.S"
+                     ],
+     cFiles = [ "arch/armv8/exec.c",
+                "arch/armv8/exn.c",
+                "arch/armv8/irq.c",
+                "arch/armv8/kludges.c",
+                "arch/armv8/kputchar.c",
+                "arch/armv8/misc.c",
+                "arch/apm88xxxx/init.c",
+                "arch/apm88xxxx/paging.c",
+                "arch/apm88xxxx/uart.c" ],
+     mackerelDevices = [ "arm",
+                         "apm88xxxx/apm88xxxx_pc16550"
+                       ],
+     addLibraries = [ "elf", "cpio" ]
      }
   ]