As lib/fdt/ contains the sources of libfdt maintained by the kernel folks [1], helper functions defined by Unikraft should reside under plat/drivers/ofw/. Migrate fdt_getprop_u32_by_offset() to that location. [1] https://git.kernel.org/pub/scm/utils/dtc/dtc.git Signed-off-by: Michal...