/* Kernel for OS/C v5.0 copyright (c) 2001 by Collin Lally and Luke Dyson of Polytech Industries. This software is covered under the GNU General Public License. It is free to the public, and may be redistributed and /or modified by the end-user as longs as the resulting product is covered under the GPL and is free to the public (except for whatever charges are incurred by the placement of the software on media for distribution).*/

#include "startup.h"
#include "sched_osc.h"
#include "kernelio.h"
#include "stack.h"

main()
{
	extern int *stack_ptr;

	set_stack_ptr(0, 100); /* Kernel stack */
	kprint("Stack created at 0x0000: regs.ax set to stack value\naddress of PIC1 at 0x20\n"); /* Some output to satisfy lusers */
	startup();
	long_jmp(stack_ptr, );
};