18 lines
405 B
C
18 lines
405 B
C
/* 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 (;;);
|
|
}
|