A more generic way of passing caps to user-space drivers.
[barrelfish] / usr / kaluga / Hakefile
index 4366b6d..a339eb8 100644 (file)
 --------------------------------------------------------------------------
 
 [ build application { target = "kaluga",
-                      cFiles = [ "main.c", "queue.c", "boot_modules.c", "common.c",
-                                 "start_cpu.c", "start_pci.c", "driver_startup.c" ],
+                      cFiles = (find withSuffices [".c"]),
                          flounderDefs = [ "monitor" ],
                       flounderBindings = [ "octopus" ],
                       flounderTHCStubs = [ "octopus" ],
                       addLibraries = libDeps [ "skb", "octopus", "vfs", 
-                                               "spawndomain", "elf" ],
+                                               "spawndomain", "elf", "mm" ],
                       architectures = [ "x86_64", "x86_32", "armv7" ] }
 ]