You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

17 lines
407 B
C

#ifndef _INCLUDE_MACH_C1700_PLATFORM_H
#define _INCLUDE_MACH_C1700_PLATFORM_H
#include <types.h>
#define FLASH_BASE 0x60000000
#define MEMORY_BASE 0x80000000
void platform_init();
uint32_t check_flash();
void flash_directory();
uint32_t locate_stage_two();
void stage_two(uint32_t kern_off, uint32_t kern_entry, uint32_t kern_size,
uint32_t kern_loadpt);
#endif /* _INCLUDE_MACH_C1700_PLATFORM_H */