Merge branch 'master' into armv8-coreboot
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 1 Mar 2017 19:06:17 +0000 (20:06 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 1 Mar 2017 19:06:17 +0000 (20:06 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

1  2 
errors/errno.fugu
usr/drivers/cpuboot/arch/x86/boot_arch.c
usr/kaluga/armv8.c

@@@ -1247,19 -1249,6 +1249,20 @@@ errors sfn SFN_ERR_
      failure REGISTER_REGION      "Error registering a region",
      failure DEREGISTER_REGION    "Error deregistering a region",
      failure ALLOC_QUEUE          "Failure allocating queue",
-     failure ENQUEUE              "Failure during enqueue", 
-     failure QDRIVER              "Failure starting queue driver", 
+     failure ENQUEUE              "Failure during enqueue",
+     failure QDRIVER              "Failure starting queue driver",
  };
 +
 +errors psci PSCI_ERR_{
 +    failure NOT_SUPPORTED    "Function not supported",
 +    failure INVALID_PARAMETER "Invalid parameters supplied",
 +    failure DENIED           "Access to the function denied",
 +    failure ALREADY_ON       "Core is already on",
 +    failure ON_PENDING       "There is a pending CPU_ON for this core",
 +    failure INTERNAL_FAILURE "Internal failure",
 +    failure NOT_PRESENT      "Resource not present",
 +    failure DISABLED         "Core is disabled",
 +    failure INVALID_ADDRESS  "Invald address provided",
 +    failure UNKNOWN_ERROR    "Error number unknown",
 +};
++
@@@ -112,28 -98,9 +112,28 @@@ static errval_t cn88xx_startup(void
  
  errval_t arch_startup(char * add_device_db_file)
  {
 -    errval_t err = SYS_ERR_OK;
 +    errval_t err;
 +
 +    err = skb_client_connect();
 +    if (err_is_fail(err)) {
 +        USER_PANIC_ERR(err, "Connect to SKB.");
 +    }
 +
 +    // Make sure the driver db is loaded
 +    err = skb_execute("[device_db].");
 +    if (err_is_fail(err)) {
 +        USER_PANIC_SKB_ERR(err, "Device DB not loaded.");
 +    }
 +
 +    if (add_device_db_file) {
 +        err = skb_execute_query("[%s].", add_device_db_file);
 +        if(err_is_fail(err)){
 +            USER_PANIC_SKB_ERR(err, "Additional device db file '%s' not loaded.",
 +                               add_device_db_file);
 +        }
 +    }
  
-     struct monitor_blocking_rpc_client *m = get_monitor_blocking_rpc_client();
+     struct monitor_blocking_binding *m = get_monitor_blocking_binding();
      assert(m != NULL);
  
      uint32_t arch, platform;