annotate cos/kernel/kernel.c @ 203:ca1ea402f6a1

Added some arm instructions
author Windel Bouwman
date Sat, 15 Jun 2013 19:13:05 +0200
parents 35cc54e078dd
children
rev   line source
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
1 #include "kernel.h"
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
2
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
3 /* This routine initializes the kernel.
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
4 * We are left here in 64-bit long mode with the first 6 MB identity mapped.
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
5 * */
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
6 void kmain()
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
7 {
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
8 // No kmalloc required here yet:
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
9 init_screen();
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
10 setupIDT();
37
5c20bd53cccd Cleanup
windel
parents: 36
diff changeset
11 read_multiboot_info(); // Parse the GRUB multiboot header.
5c20bd53cccd Cleanup
windel
parents: 36
diff changeset
12 init_memory(available_memory); // Setup a new paging scheme and memory manager
5c20bd53cccd Cleanup
windel
parents: 36
diff changeset
13 // From here kmalloc can be used.
36
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
14 keyboard_init();
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
15 timer_init();
41
35cc54e078dd Added memory functions
windel
parents: 37
diff changeset
16 load_ramdisk();
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
17
37
5c20bd53cccd Cleanup
windel
parents: 36
diff changeset
18 // TODO: make shell a user space program!
5c20bd53cccd Cleanup
windel
parents: 36
diff changeset
19 shell(); // Start user shell
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
20 }
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
21