#include <common.h>

/**
** Idle process:  write, getpid, gettime, exit
**
** Reports itself, then loops forever delaying and printing a character.
** MUST NOT SLEEP, as it must always be available in the ready queue 
** when there is no other process to dispatch.
**
** Invoked as:	idle
*/

USERMAIN( main ) {
	// this is the character we will repeatedly print
	char ch = '.';

	// ignore the command-line arguments
	(void) argc;
	(void) argv;

	// get some current information
	uint_t pid = getpid();
	uint32_t now = gettime();
	enum priority_e prio = getprio();

	char buf[128];
	sprint( buf, "Idle [%d], started @ %u\n", pid, prio, now );
	cwrites( buf );
	
	// report our presence on the console
	cwrites( "Idle started\n" );

	write( CHAN_SIO, &ch, 1 );

	// idle() should never block - it must always be available
	// for dispatching when we need to pick a new current process

	for(;;) {
		DELAY(LONG);
		write( CHAN_SIO, &ch, 1 );
	}

	// we should never reach this point!
	now = gettime();
	sprint( buf, "Idle [%d] EXITING @ %u!?!?!\n", pid, now );
	cwrites( buf );

	exit( 1 );

	return( 42 );
}