Fetch the initrd address from the DTB blob

The kernel entry has a pointer to the DTB blob as a parameter. From this
pointer we can parse the the DTB blob to find the properties
"chosen->linux,initrd-start" and "chosen->linux,initrd-start". These
properties are guaranteed to have 64-bit addresses which point where the
initrd is in memory, which we need to fetch the binaries to be loaded.

Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>

1 files changed, 0 insertions, 6 deletions

diff --git a/kernel/dt.c b/kernel/dt.c
deleted file mode 100644
index 55fa970..0000000
--- a/kernel/dt.c
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <fbos/dt.h>
-
-__kernel void parse_dtb(uint64_t *dtb)
-{
-	__unused(dtb);
-}