//
// kernel.h
//
#ifndef _kernel_h
#define _kernel_h

#include <circle_stdlib_app.h>

class CKernel : public CStdlibAppStdio
{
public:
	CKernel (void);

	bool Initialize (void);

	TShutdownMode Run (void);
};

#endif