#include <fbos/dt.h>

__kernel void parse_dtb(uint64_t *dtb)
{
	__unused(dtb);
}