20 lines
347 B
C

#include "utils.h"
#include "core_ctx.h"
#include "log.h"
#include "platform/uart.h"
int main(void)
{
if (currentCoreCtx->coreId == 0) {
uartInit(115200);
serialLog("Hello from Thermosphere!\n");
__builtin_trap();
}
else {
serialLog("Core %u booted\n", currentCoreCtx->coreId);
}
return 0;
}