/* there is no include file */

void	mikeos_print_string(char *message)
{
#asm
	mov	bp, sp
	push	si

	mov	si, [bp + 2]
	mov	bx, #0x8003
	call	bx

	pop	si
#endasm
}

void	mikeos_print_newline(void)
{
#asm
	mov	bx, #0x800f
	call	bx
#endasm
}

int	MikeMain()
{
	static	char	message[] = "Hello, MikeOS!";

	mikeos_print_string(message);
	mikeos_print_newline();

	return 0;
}