2015-04-22 01:31:31 +08:00
|
|
|
#ifndef __KLOADER_H
|
|
|
|
|
#define __KLOADER_H
|
|
|
|
|
|
2015-04-22 15:01:32 +08:00
|
|
|
#define KERNELCPU_EXEC_ADDRESS 0x40400000
|
|
|
|
|
#define KERNELCPU_PAYLOAD_ADDRESS 0x40404000
|
2015-04-22 01:31:31 +08:00
|
|
|
|
|
|
|
|
typedef void (*kernel_function)(void);
|
|
|
|
|
|
|
|
|
|
int kloader_load(void *buffer, int length);
|
|
|
|
|
kernel_function kloader_find(const char *name);
|
|
|
|
|
|
|
|
|
|
#ifdef ARTIQ_AMP
|
|
|
|
|
void kloader_start_bridge(void);
|
|
|
|
|
void kloader_start_idle_kernel(void);
|
|
|
|
|
void kloader_start_user_kernel(kernel_function k);
|
|
|
|
|
void kloader_stop_kernel(void);
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#endif /* __KLOADER_H */
|
