#pragma once
#include "common.h"

void __attribute__((noreturn)) BootFirm(void *firm, char *path);