#ifndef EXOSPHERE_BPMPFW_LP0_H
#define EXOSPHERE_BPMPFW_LP0_H

#include "utils.h"

void lp0_entry_main(void);

void reboot(void);

#endif