/branches/fs/kernel/arch/arm32/include/types.h |
---|
62,6 → 62,7 |
typedef int32_t native_t; |
typedef uint8_t bool; |
typedef uint64_t thread_id_t; |
typedef uint64_t task_id_t; |
typedef uint32_t context_id_t; |
/branches/fs/kernel/arch/arm32/src/arm32.c |
---|
82,5 → 82,11 |
/* TODO */ |
} |
void arch_reboot(void) |
{ |
// TODO |
while (1); |
} |
/** @} |
*/ |