mini/boot2.h

11 lines
168 B
C

#ifndef __BOOT2_H__
#define __BOOT2_H__
#include "ipc.h"
int boot2_run(u32 tid_hi, u32 tid_lo);
void boot2_init();
void boot2_ipc(volatile ipc_request *req);
#endif