/**************************************************************************************
 Copyright (c) 2002 The UbixOS Project
 All rights reserved.

 Redistribution and use in source and binary forms, with or without modification,
 are prohibited.

 $Id$

**************************************************************************************/

int main();

#include <stdio.h>

void _start() {
  main();
  }

int main() {
  printf("Initializing System.\n");
  while (1);
  }