//----- PiegOS kernel main -----

void main(){

	while(1);
}