#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 + KERNEL_OFFSET);
    while (*msg)
    {
        *dest++ = *msg++;
        *dest++ = 0x04;         /* red error message */
    }

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