bios_example3.c

#include <bios.h>
#include <stdio.h>

void alarm_handler()
{
	fprintf(stderr, "ALARM on core %u\n",cpu_core_id);
}

void bootfunc() {
	int alarm_time = cpu_core_id+1;
	fprintf(stderr, "Core %u setting alarm at %d sec.\n", 
		cpu_core_id, alarm_time);
	cpu_interrupt_handler(ALARM, alarm_handler);
	bios_set_timer(1000000 * alarm_time);
	
	fprintf(stderr, "Core %u halting.\n", cpu_core_id);
	cpu_core_halt();
	
	fprintf(stderr, "Core %u woke up\n", cpu_core_id);  
}

int main()
{
	/* Run simulation with 4 cores */
	vm_boot(bootfunc, 4, 0);
	return 0;
}