#include "utils.h" #include "hwinit.h" #include "lib/printk.h" #include "display/video_fb.h" int main(void) { /* Do nothing for now */ return 0; }