Compile bfscope for armv5 and exvlude bench for armv5.
authorGerd Zellweger <mail@gerdzellweger.com>
Thu, 10 Apr 2014 07:18:40 +0000 (09:18 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Wed, 10 Dec 2014 09:20:29 +0000 (10:20 +0100)
kernel/arch/armv5/startup_arch.c
tools/flounder/Arch.hs
usr/bench/Hakefile
usr/bfscope/bfscope.c

index cf3f626..7814b46 100644 (file)
@@ -26,8 +26,6 @@
 #include <barrelfish_kpi/paging_arm_v5.h>
 #include <startup.h>
 
-#include <romfs_size.h>
-
 #define CNODE(cte)              (cte)->cap.u.cnode.cnode
 #define UNUSED(x)               (x) = (x)
 
index 29ec820..dc7f4be 100644 (file)
@@ -1,15 +1,15 @@
-{- 
+{-
    Arch.hs: Architecture-specific information needed for stub generation.
 
   Part of Flounder: a message passing IDL for Barrelfish
-   
+
   Copyright (c) 2007-2010, 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, Universit\"atstr. 6, CH-8092 Zurich. Attn: Systems Group.
--}  
+-}
 
 module Arch (Arch (..), parse_arch) where
 
@@ -18,7 +18,7 @@ import Syntax
 -- everything the generic LMP backend needs to know about the architecture
 data Arch = Arch {
     archname :: String, -- name of the architecture
-    
+
     -- architecture-specific sizes
     wordsize :: Int,    -- size of words, in bits
     ptrsize  :: Int,    -- size of pointers, in bits
index 0121c59..4d67097 100644 (file)
@@ -16,7 +16,8 @@
 
   build application { target = "stsc_bench",
                       cFiles = ["stsc_bench.c"],
-                      addLibraries = [ "rcce" ]
+                      addLibraries = [ "rcce" ],
+                      architectures = {"x86_64", "x86_32"}
                     },
 
   build application { target = "lrpc_bench",
index b1aadca..de9aa02 100644 (file)
@@ -18,6 +18,7 @@
 
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/dispatch.h>
+#include <barrelfish/dispatcher_arch.h>
 #include <barrelfish/lmp_endpoints.h>
 #include <barrelfish/event_queue.h>
 #include <barrelfish/nameservice_client.h>