commit 0fc12a4d44ab7af729f7d286244109816e631db6
author Curtis Millar <curtis.millar@data61.csiro.au> Tue Mar 26 13:28:08 2019 +1100
committer Curtis Millar <curtis.millar@data61.csiro.au> Mon Jul 01 11:48:44 2019 +1000
tree fb545e8a4f4194872238623436ede5524d3888b5
parent 66ae48291c44b9247911a3a621579aca881eec67

Get the bootinfo structure caputred by the runtime

Runtime now captures bootinfo via aux vectors.

libsel4platsupport/src/bootinfo.c

diff --git a/libsel4platsupport/src/bootinfo.c b/libsel4platsupport/src/bootinfo.c
index 2906035..7320e33 100644
--- a/libsel4platsupport/src/bootinfo.c
+++ b/libsel4platsupport/src/bootinfo.c
@@ -14,21 +14,16 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <utils/util.h>
+#include <sel4runtime.h>
 
 seL4_BootInfo *platsupport_get_bootinfo(void)
 {
     /* bootinfo was set as an environment variable in _sel4_start */
-    char *bi_string = getenv("bootinfo");
-    if (!bi_string) {
+    seL4_BootInfo *bootinfo = sel4runtime_bootinfo();
+    if (!bootinfo) {
         ZF_LOGE("Attempted %s in an environment without bootinfo.", __FUNCTION__);
         return NULL;
     }
-    void *bi;
-    if (sscanf(bi_string, "%p", &bi) != 1) {
-        ZF_LOGE("bootinfo environment value '%s' was not valid.", bi_string);
-        return NULL;
-    }
-    seL4_BootInfo *bootinfo = (seL4_BootInfo*)bi;
     /* Save the address of the IPC buffer for seL4_GetIPCBuffer on IA32. */
     seL4_SetUserData((seL4_Word)bootinfo->ipcBuffer);
     return bootinfo;