blob: 72618918aec74246549c004252848fb859195f5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/* See LICENSE of license details. */
#include <unistd.h>
#include "platform.h"
void __wrap__exit(int code)
{
//volatile uint32_t* leds = (uint32_t*) (GPIO_BASE_ADDR + GPIO_OUT_OFFSET);
const char message[] = "\nProgam has exited with code:";
//*leds = (~(code));
write(STDERR_FILENO, message, sizeof(message) - 1);
write_hex(STDERR_FILENO, code);
write(STDERR_FILENO, "\n", 1);
for (;;);
}
|
