libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.
[barrelfish] / lib / barrelfish / Hakefile
index f07f706..bd64603 100644 (file)
@@ -1,10 +1,11 @@
 --------------------------------------------------------------------------
--- Copyright (c) 2007-2011, ETH Zurich
+-- Copyright (c) 2007-2012, ETH Zurich
 -- All rights reserved.
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, CAB F.78, Universitaetstr. 6, CH-8092 Zurich,
+-- Attn: Systems Group.
 --
 -- Hakefile for lib/barrelfish
 -- 
                     cFiles = arch_srcs arch ++ archfam_srcs (archFamily arch)
                              ++ common_srcs ++ idc_srcs,
                     assemblyFiles = arch_assembly (archFamily arch),
-                    flounderBindings = [ "mem", "octopus", "serial",
-                                         "interdisp", "spawn", "keyboard" ],
+                    flounderBindings = [ "mem", "octopus", "interdisp", "spawn",
+                                         "terminal" ],
                     -- only makes sense to compile monitor binding for lmp
                     flounderTHCStubs = [ "octopus" ],
                     flounderExtraBindings = [ ("monitor", ["lmp"]),
                                              ("monitor_blocking", ["lmp", "rpcclient"]),
                                               ("mem", ["rpcclient"]),
                                               ("octopus", ["rpcclient"]),
-                                              ("spawn", ["rpcclient"]),
-                                              ("serial", ["rpcclient"])],
+                                              ("spawn", ["rpcclient"])],
                     addIncludes = [ "include", "include" ./. arch_dir ],
                     addGeneratedDependencies = [ "/include/asmoffsets.h" ]
                   }