coreboot: adding monitor rpc client to the hake file

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/usr/drivers/cpuboot/Hakefile b/usr/drivers/cpuboot/Hakefile
index be120bb..cc934ef 100644 (file)
--- a/usr/drivers/cpuboot/Hakefile
+++ b/usr/drivers/cpuboot/Hakefile
@@ -16,7 +16,8 @@ let template = application {
             "../../../kernel/include/arch/x86_64/", 
             "../../../kernel/include" 
         ],
-        flounderDefs = ["monitor_blocking", "monitor"],
+        flounderDefs = ["monitor_blocking", "monitor" ],
+        flounderExtraDefs = [("monitor_blocking", ["rpcclient"])],
         flounderBindings = ["intermon"]
     }
 in [