#include "hos_types.h"
#include "hos_defines.h"
#include "k_early_panic.h"

void k_early_panic(const char * msg)
{
    char * dest = (char *) CONSOLE_MEMORY;
    while (*msg)
    {
        *dest++ = *msg++;
        *dest++ = 0x04;         /* red error message */
    }

    /* infinite loop */
    for (;;)
        ;
}