blob: a49c304083b2aea38d39169f035a6a1d35aef867 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#include <fdt.h>
#include <kernel_earlyprintf.h>
void
init(unsigned long hartid, struct fdt_header *fdt)
{
kernel_earlyputs("booting...\n");
if (fdt_uint32(fdt->magic) == FDT_HEADER_MAGIC)
kernel_earlyputs("found flattened device tree!\n");
}
|
