/*
	Copyright (c) 1996-1997 Swiss Federal Institute of Technology, 
	Computer Engineering and Networks Laboratory. All rights reserved.

	TOPSY - A Teachable Operating System. 
		Implementation of a tiny and simple micro kernel for
		teaching purposes.
*/

#include "../Topsy/Topsy.h"
#include "../Topsy/Syscall.h"
#include "UserSupport.h"

char hello[] = "\n Hello World\n";

void HelloWorld( ) {
    ThreadId tty;
    unsigned long int size; 

    size = sizeof(hello);
    ioOpen(IO_CONSOLE, &tty);
    ioInit(tty);
    ioWrite(tty, hello, &size);
    ioClose(tty);
}