void init() {
initialize_vga();
initialize_sdcard();
alt_timestamp_start();
// initialize_audio();
// start_audio();
initialize_messaging();
}
/**
* Kernel state reset before syscall tests.
*/
void reset() {
initialize_memory();
initialize_tasks();
initialize_scheduling();
initialize_messaging();
t0 = task_create(0, 0, MEDIUM);
t1 = task_create(0, 0, MEDIUM);
t2 = task_create(0, 1, MEDIUM);
}
void initialize_kernel() {
bwsetfifo(COM2, OFF);
void (**syscall_handler)() = (void (**)())0x28;
*syscall_handler = &kernel_enter;
void (**irq_handler)() = (void (**)())0x38;
*irq_handler = &irq_enter;
initialize_cache();
initialize_memory();
initialize_fine_timer();
initialize_scheduling();
initialize_tasks();
initialize_messaging();
initialize_events();
initialize_waiting();
}