#include <uart.h>
#include <irq.h>



void cwos_boot() 
{
	uart_init();

	uart0_send("Hello CWOS World\n");

	irq_enable();

	trigger_swi();

	while (1) {
	}
}

#include <uart.h>
#include <irq.h>



void cwos_boot() 
{
	uart_init();

	uart0_send("Hello CWOS World\n");
	uart0_send("Press any key to see echo:\n");

	irq_enable();

	while (1) {
	}
}

Update CWOS boot welcome messages
Update CWOS boot welcome messages
