annotate cos/kernel/kernel.c @ 33:d8185ddb6c7b

Added more interrupt handlers
author windel
date Sun, 15 Jan 2012 13:39:49 +0100
parents 3a6a9b929db0
children 8012221dd740
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 {
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
24 init_screen();
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
25 setupIDT();
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
26
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
27 uint64_t available_memory = 0;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
28
33
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
29 printf("Running with %d MB ram\n", available_memory / 1000000);
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
30
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
31 printf("Detecting amount of memory\n");
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
32
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
33 printf("Grub multiboot header location: %x\n", multiboot_info);
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
34 // On real hardware, the retrieval of the flags fails into general protection fault??
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
35
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
36 printf("Grub lower mem: %d\n", multiboot_info->mem_lower);
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
37 printf("Grub multiboot header flags: %x\n", multiboot_info->flags);
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
38
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
39 /* Display memory information from multiboot header */
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
40 if ((multiboot_info->flags & (1<<6)) == (1<<6))
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
41 {
33
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
42 printf("Found GRUB memory map\n");
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
43 multiboot_memory_map_t *mmap;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
44 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
45 (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
46 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
47 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
48 printf("size: %d, start: 0x%x, length=0x%x, type=%d\n", mmap->size, mmap->base, mmap->length, mmap->type);
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
49
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
50 if ( (mmap->type == 1) && (mmap->base == 0x100000) )
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
51 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
52 available_memory = mmap->length;
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 }
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
55 }
33
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
56 else
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
57 {
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
58 printf("Found no GRUB map\n");
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
59 }
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
60
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
61 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
62
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
63 fs_node_t *fs_root = 0;
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 if ( (multiboot_info->flags & (1<<3)) == (1<<3))
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
66 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
67 printf("Mod count: %d\n", multiboot_info->mods_count);
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
68 uint64_t i;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
69 multiboot_module_t *mod;
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
70 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
71 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
72 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
73 if (i == 0)
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
74 {
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
75 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
76 fs_root = initialize_initrd(ramdisk_location);
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
77 }
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 }
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
90
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
91 // TODO: Make sure that placement malloc does not overwrite the ramdisk.
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
92 printf("Mod size: ");
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
93
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
94 // Assume first 16MB:
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
95 // TODO: get size from grub
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
96 init_memory(0x1000000);
14
a58904747019 Added asm interrupt handler things, not yet working
windel
parents: 9
diff changeset
97
32
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
98 // TODO: make below a user space program!
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
99 printf("Welcome!\n");
3a6a9b929db0 Added initial ramdisk and some virtual file system functions
windel
parents: 31
diff changeset
100
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
101
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
102 while (1==1)
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
103 {
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
104 char buffer[70];
27
7f74363f4c82 Added some files for the python port
windel
parents: 26
diff changeset
105 printf(">");
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
106 getline(buffer, 70);
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
107 // TODO: interpret this line with python :)
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
108 printf("\n");
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
109 if (buffer[0] == 'x')
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
110 {
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
111 printf("System time in ms: %d\n", getTimeMS());
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
112 }
23
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
113 if (buffer[0] == 't')
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
114 {
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
115 testMalloc();
5dd47d6eebac Added ubersimple malloc algorithm
windel
parents: 22
diff changeset
116 }
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
117 if ( strncmp(buffer, "help", 4))
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
118 {
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
119 printf("Help\n Try one of these commands:\n");
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
120 printf(" x: print system time in ms\n");
28
47b7df514243 Moved Makefiles
windel
parents: 27
diff changeset
121 printf(" r: reboot\n");
47b7df514243 Moved Makefiles
windel
parents: 27
diff changeset
122 printf(" t: test\n");
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
123 printf(" b: break\n");
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
124 }
24
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
125 if (strncmp(buffer, "r", 1))
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
126 {
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
127 reboot();
d8627924d40d Split up in more files and reboot command
windel
parents: 23
diff changeset
128 }
29
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
129 if (strncmp(buffer, "b", 1))
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
130 {
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
131 magicBochsBreak();
7e3bdcb391dc Added get_page function to mm
windel
parents: 28
diff changeset
132 }
33
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
133 if (strncmp(buffer, "pf", 2))
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
134 {
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
135 /* Test general protection exception */
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
136 uint64_t *x;
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
137 x = (uint64_t*)0x4000000; // Address that is not mapped
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
138 *x = 0x2; // trigger paging exception
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
139 }
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
140
d8185ddb6c7b Added more interrupt handlers
windel
parents: 32
diff changeset
141 }
9
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
142 }
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
143
92ace1ca50a8 64 bits kernel without interrupts but with printf in C
windel
parents:
diff changeset
144