Todd Vierling writes:
> : there remains one problem.  the kernel has main looking like:
> : 	void main(void *framep);
> : which egcs warngs about.
> 
> Just make the main return int.  It's in a PR somewhere, and really should be
> fixed just for Happy Conformance.

Ah, no.

The kernel does NOT run in a hosted environment, and should not
be returning an "int" from main(). main only is required to return int 
in a hosted environment.

Perry