/* This file is part of the Simba project.  */
static __attribute__((section(".second_stage")))
/* This file is part of the Simba project.  */
static __attribute__((section(".second_stage")))
{
    uint16_t size;
    struct uart_device_t uart_device = {
        .drv_p = NULL, .regs_p = SPC5_LINFLEX_0
    };
    uart_device_start(&uart_device, BAUDRATE);
    uart_device_read(&uart_device, &size, 2);
    uart_device_read(&uart_device, &buf[0], size);
    return (((int (*)())(&buf[0]))());
}