diff options
Diffstat (limited to 'machine/fdt.h')
| -rw-r--r-- | machine/fdt.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/machine/fdt.h b/machine/fdt.h index d436778..6c8a6fe 100644 --- a/machine/fdt.h +++ b/machine/fdt.h @@ -59,6 +59,7 @@ void query_mem(uintptr_t fdt); void query_harts(uintptr_t fdt); void query_plic(uintptr_t fdt); void query_clint(uintptr_t fdt); +void query_chosen(uintptr_t fdt); // Remove information from FDT void filter_harts(uintptr_t fdt, long *disabled_hart_mask); @@ -68,6 +69,10 @@ void filter_compat(uintptr_t fdt, const char *compat); // The hartids of available harts extern uint64_t hart_mask; +// Optional FDT preloaded external payload +extern void* kernel_start; +extern void* kernel_end; + #ifdef PK_PRINT_DEVICE_TREE // Prints the device tree to the console as a DTS void fdt_print(uintptr_t fdt); |