Symbol: kernel_binary
sys/arch/ews4800mips/stand/common/binkernel.c
41
uint8_t kernel_binary[0];
sys/arch/ews4800mips/stand/common/binkernel.c
44
uint8_t kernel_binary[KERNEL_SIZE] = "kernel binary will be here. ";
sys/arch/ews4800mips/stand/common/devopen.c
44
extern uint8_t kernel_binary[];
sys/arch/ews4800mips/stand/common/devopen.c
92
data_attach(kernel_binary, kernel_binary_size);
sys/arch/ews4800mips/stand/common/loader.c
82
extern uint8_t kernel_binary[];
sys/arch/ews4800mips/stand/common/loader.c
99
p = kernel_binary;