kernel/sys/core.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

#include <cpu/irq.h>
#include <cpu.h>
#include <drivers/uart.h>
#include <globals.h>
#include <graphics/lfb.h>
#include <lib/kmem.h>
#include <lib/mmu.h>
#include <lib/strings.h>
#include <symbols.h>
#include <sys/core.h>
#include <sys/power.h>
#include <sys/schedule.h>
#include <usr/main.h>
#include <util/mutex.h>
#include <util/status.h>
#include <util/time.h>

// Initialize IRQs
void sysinit(void)
{
	// Get the frequency
	cntfrq = read_cntfrq();

	// Initialize UART
	uart_init();

	// Route GPU interrupts to Core 0
	store32(0x00, GPU_INTERRUPTS_ROUTING);

	// Graphics Initialize
	lfb_init();
	lfb_showpicture();

	// Initialize Memory Management Unit
	mmu_init();
	
	// Initialize Mutex Manager
	mutex_init();

	// Start Scheduler
	init_scheduler();
	add_thread(main, 0, 0);
}