Mercurial > lcfOS

annotate cos/kernel/kernel.c @ 36:91f91ff07ea8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed test variables
author windel
date Mon, 16 Jan 2012 20:47:05 +0100
parents bcb3b68c8147
children 5c20bd53cccd
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 static void testMalloc()
20
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
4 {
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
5 char *a, *b;
23
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
6
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
7 printf("Testing malloc\n");
20
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
8 a = kmalloc(100);
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
9 printf("Got a at %x\n", a);
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
10 a[0] = 'A';
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
11 b = kmalloc(22);
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
12 printf("Got b at %x\n", b);
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
13 b[0] = 'B';
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
14 kfree(a);
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
15 }
b1fed2171e1a Now working with 2 MB pages
windel
parents: 19
diff changeset
16
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
17 multiboot_info_t *multiboot_info = 0; // Set by startup code.
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
18
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
19 /* This routine initializes the kernel.
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
20 * 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
21 * */
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
22 void kmain()
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
23 {
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
24 // No kmalloc required here yet:
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
25 init_screen();
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
26 setupIDT();
35
bcb3b68c8147 Added bss end address and load end address to multiboot header
windel
parents: 34
diff changeset
27
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
28 /* Retrieve memory information from multiboot header */
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
29 uint64_t available_memory = 0;
36
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
30 if ((multiboot_info->flags & (1 << 6)) == (1 << 6))
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
31 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
32 multiboot_memory_map_t *mmap;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
33 for (mmap = (multiboot_memory_map_t*)(uint64_t)multiboot_info->mmap_addr;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
34 (uint64_t)mmap < multiboot_info->mmap_addr + multiboot_info->mmap_length;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
35 mmap = (multiboot_memory_map_t*) ( (uint64_t)mmap + mmap->size + sizeof(mmap->size)) )
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
36 {
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
37 /*
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
38 printf("size: %d, start: 0x%x, length=0x%x, type=%d\n", mmap->size,
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
39 mmap->base, mmap->length, mmap->type);
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
40 */
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
41
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
42 if ( (mmap->type == 1) && (mmap->base == 0x100000) )
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
43 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
44 available_memory = mmap->length;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
45 }
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
46 }
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
47 }
36
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
48
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
49 if (available_memory == 0)
33
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
50 {
36
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
51 panic("Found no usable memory in grub's memory map\n");
33
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
52 }
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
53
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
54 printf("Running with %d MB ram\n", available_memory / 1000000);
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
55
36
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
56 init_memory(available_memory); // Setup paging and memory manager
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
57
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
58 keyboard_init();
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
59 timer_init();
91f91ff07ea8 Removed test variables
windel
parents: 35
diff changeset
60
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
61 /*
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
62 fs_node_t *fs_root = 0;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
63 if ( (multiboot_info->flags & (1<<3)) == (1<<3))
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
64 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
65 printf("Mod count: %d\n", multiboot_info->mods_count);
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
66 uint64_t i;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
67 multiboot_module_t *mod;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
68 for (i=0, mod=(multiboot_module_t*)(uint64_t)multiboot_info->mods_addr; i<multiboot_info->mods_count; i++, mod++)
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
69 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
70 printf("Mod start: %x, end: %x\n", mod->mod_start, mod->mod_end);
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
71 if (i == 0)
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
72 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
73 uint64_t ramdisk_location = ((uint32_t*)((uint64_t)multiboot_info->mods_addr))[0];
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
74 fs_root = initialize_initrd(ramdisk_location);
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
75 }
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
76 // TODO: Make sure that placement malloc does not overwrite the ramdisk.
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
77 printf("Mod size: %d", mod->mod_end - mod->mod_start);
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
78 }
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
79 }
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
80
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
81 if (fs_root != 0)
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
82 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
83 fs_dirent_t *node = 0;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
84 int i = 0;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
85 while ( (node = readdir_fs(fs_root, i)) != 0)
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
86 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
87
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
88 }
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
89 }
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
90 */
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
91
14
a58904747019 Added asm interrupt handler things, not yet working
windel
parents: 9
diff changeset
92
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
93 // TODO: make below a user space program!
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
94 printf("Welcome!\n");
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
95
34
8012221dd740 Fixes for uninitialized data. This causes problems on real machines
windel
parents: 33
diff changeset
96 while (1)
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
97 {
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
98 char buffer[70];
27
7f74363f4c82 Added some files for the python port
windel
parents: 26
diff changeset
99 printf(">");
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
100 getline(buffer, 70);
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
101 // TODO: interpret this line with python :)
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
102 printf("\n");
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
103 if (buffer[0] == 'x')
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
104 {
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
105 printf("System time in ms: %d\n", getTimeMS());
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
106 }
23
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
107 if (buffer[0] == 't')
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
108 {
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
109 testMalloc();
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
110 }
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
111 if ( strncmp(buffer, "help", 4))
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
112 {
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
113 printf("Help\n Try one of these commands:\n");
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
114 printf(" x: print system time in ms\n");
28
47b7df514243 Moved Makefiles
windel
parents: 27
diff changeset
115 printf(" r: reboot\n");
47b7df514243 Moved Makefiles
windel
parents: 27
diff changeset
116 printf(" t: test\n");
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
117 printf(" b: break\n");
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
118 }
24
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
119 if (strncmp(buffer, "r", 1))
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
120 {
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
121 reboot();
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
122 }
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
123 if (strncmp(buffer, "b", 1))
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
124 {
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
125 magicBochsBreak();
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
126 }
33
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
127 if (strncmp(buffer, "pf", 2))
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
128 {
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
129 /* Test general protection exception */
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
130 uint64_t *x;
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
131 x = (uint64_t*)0x4000000; // Address that is not mapped
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
132 *x = 0x2; // trigger paging exception
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
133 }
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
134 }
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
135 }
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
136
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
137