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(); }