1-------------------------------------------------------------------------- 2-- Copyright (c) 2007-2009, ETH Zurich. 3-- All rights reserved. 4-- 5-- This file is distributed under the terms in the attached LICENSE file. 6-- If you do not find this file, copies can be found by writing to: 7-- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group. 8-- 9-- Hakefile for /usr/kaluga 10-- 11-------------------------------------------------------------------------- 12 13let commonCFiles = [ "boot_modules.c", 14 "device_caps.c", 15 "int_caps.c", 16 "driver_startup.c", 17 "main.c", 18 "queue.c", 19 "start_cpu.c", 20 "start_int_ctrl.c", 21 "driver_domains.c" 22 ] in 23[ build application { target = "kaluga", 24 cFiles = (commonCFiles) ++ [ "start_pci.c", "x86.c" ], 25 flounderDefs = [ "monitor" , "pci"], 26 flounderBindings = [ "octopus" , "pci" ], 27 flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ], 28 flounderTHCStubs = [ "octopus" ], 29 addLibraries = libDeps [ "skb", "octopus", "vfs", 30 "spawndomain", "elf", "mm", 31 "trace", "int_route_client", 32 "driverkit", "pci" ], 33 architectures = [ "x86_64", "x86_32" ] }, 34 build application { target = "kaluga", 35 cFiles = commonCFiles ++ ["start_pci.c"], 36 flounderDefs = [ "monitor" ], 37 flounderBindings = [ "octopus", "pci" ], 38 flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ], 39 flounderTHCStubs = [ "octopus" ], 40 addLibraries = libDeps [ "skb", "octopus", "vfs_noblockdev", 41 "spawndomain", "elf", "mm", 42 "trace", "driverkit", 43 "int_route_client", "pci"], 44 architectures = [ "k1om" ] }, 45 build application { target = "kaluga", 46 cFiles = commonCFiles ++ [ "armv7.c", "armv7_startup.c" ], 47 flounderDefs = [ "monitor" ], 48 flounderBindings = [ "octopus" ], 49 flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ], 50 flounderTHCStubs = [ "octopus" ], 51 addLibraries = libDeps [ "skb", "octopus", "vfs_ramfs", 52 "spawndomain", "elf", "mm", 53 "trace", "driverkit", 54 "int_route_client"], 55 architectures = [ "armv7" ] }, 56 build application { target = "kaluga", 57 cFiles = commonCFiles ++ [ "start_pci.c", "armv8.c" ], 58 flounderDefs = [ "monitor" , "pci"], 59 flounderBindings = [ "octopus", "pci"], 60 flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ], 61 flounderTHCStubs = [ "octopus" ], 62 addLibraries = libDeps [ "skb", "octopus", "vfs_ramfs", 63 "spawndomain", "elf", "mm", 64 "trace", "int_route_client", 65 "driverkit", "pci"], 66 architectures = [ "armv8" ] } 67] 68