Diff markup
001 001
>> 002
002 003
003 004
004 005
005 006
006 007
007 008
008 009
009 010
010 011
011 012
012 013
013 014
014 015
015 016
016 017
017 018
018 019
019 #include <sos/errno.h> <<
020 <<
021 020
022 #include <bootstrap/multiboot.h> 021 #include <bootstrap/multiboot.h>
023 #include <hwcore/idt.h> 022 #include <hwcore/idt.h>
024 #include <hwcore/gdt.h> 023 #include <hwcore/gdt.h>
025 #include <hwcore/irq.h> 024 #include <hwcore/irq.h>
026 #include <hwcore/exception.h> 025 #include <hwcore/exception.h>
027 #include <hwcore/i8254.h> 026 #include <hwcore/i8254.h>
028 #include <sos/list.h> 027 #include <sos/list.h>
029 #include <sos/physmem.h> 028 #include <sos/physmem.h>
030 #include <hwcore/paging.h> 029 #include <hwcore/paging.h>
031 #include <hwcore/mm_context.h> <<
032 #include <hwcore/swintr.h> <<
033 #include <sos/kmem_vmm.h> 030 #include <sos/kmem_vmm.h>
034 #include <sos/kmalloc.h> 031 #include <sos/kmalloc.h>
035 #include <sos/time.h> <<
036 #include <sos/thread.h> <<
037 #include <sos/process.h> <<
038 #include <sos/umem_vmm.h> <<
039 #include <sos/klibc.h> 032 #include <sos/klibc.h>
040 #include <sos/assert.h> 033 #include <sos/assert.h>
041 #include <drivers/x86_videomem.h> 034 #include <drivers/x86_videomem.h>
042 #include <drivers/bochs.h> 035 #include <drivers/bochs.h>
043 #include <sos/calcload.h> !! 036
044 #include <sos/umem_vmm.h> <<
045 #include <sos/binfmt_elf32.h> <<
046 #include <drivers/zero.h> <<
047 #include <sos/fs.h> <<
048 #include <drivers/fs_virtfs.h> <<
049 037
050 038
051 039
052 void display_bits(unsigned char row, unsigned !! 040 static void display_bits(unsigned char row, unsigned char col,
053 unsigned char attribute, !! 041 unsigned char attribute,
054 sos_ui32_t integer) !! 042 sos_ui32_t integer)
055 { 043 {
056 int i; 044 int i;
057 045
058 for (i = 31 ; i >= 0 ; i--) 046 for (i = 31 ; i >= 0 ; i--)
059 { 047 {
060 048
061 int bit_i = (integer & (1 << i)); 049 int bit_i = (integer & (1 << i));
062 050
063 unsigned char ascii_code = bit_i?219:177 051 unsigned char ascii_code = bit_i?219:177;
064 sos_x86_videomem_putchar(row, col++, 052 sos_x86_videomem_putchar(row, col++,
065 attribute, 053 attribute,
066 ascii_code); 054 ascii_code);
067 } 055 }
068 } 056 }
069 057
>> 058
070 059
071 static void clk_it(int intid) 060 static void clk_it(int intid)
072 { 061 {
073 static sos_ui32_t clock_count = 0; 062 static sos_ui32_t clock_count = 0;
074 063
075 display_bits(0, 48, 064 display_bits(0, 48,
076 SOS_X86_VIDEO_FG_LTGREEN | SOS_ 065 SOS_X86_VIDEO_FG_LTGREEN | SOS_X86_VIDEO_BG_BLUE,
077 clock_count); 066 clock_count);
078 clock_count++; 067 clock_count++;
079 068
080 !! 069 }
081 sos_time_do_tick(); !! 070 struct digit
>> 071 {
>> 072 struct digit *prev, *next;
>> 073 char value;
>> 074 };
>> 075
>> 076
>> 077
>> 078
>> 079 typedef struct digit * big_number_t;
>> 080
082 081
083 !! 082
084 sos_sched_do_timer_tick(); !! 083 void bn_push_lsd(big_number_t * bn, char value)
>> 084 {
>> 085 struct digit *d;
>> 086 d = (struct digit*) sos_kmalloc(sizeof(struct digit), 0);
>> 087 SOS_ASSERT_FATAL(d != NULL);
>> 088 d->value = value;
>> 089 list_add_tail(*bn, d);
085 } 090 }
086 091
087 092
088 !! 093
089 !! 094 void bn_push_msd(big_number_t * bn, char value)
090 !! 095 {
>> 096 struct digit *d;
>> 097 d = (struct digit*) sos_kmalloc(sizeof(struct digit), 0);
>> 098 SOS_ASSERT_FATAL(d != NULL);
>> 099 d->value = value;
>> 100 list_add_head(*bn, d);
>> 101 }
091 102
092 103
093 !! 104
094 static void pgflt_ex(int intid, struct sos_cpu !! 105 big_number_t bn_new(unsigned long int i)
095 { 106 {
096 static sos_ui32_t demand_paging_count = 0; !! 107 big_number_t retval;
097 struct sos_thread * cur_thr = sos_thread_get <<
098 sos_vaddr_t faulting_vaddr = sos_cpu_contex <<
099 sos_paddr_t ppage_paddr; <<
100 108
101 if (sos_cpu_context_is_in_user_mode(ctxt) !! 109 list_init(retval);
102 || (cur_thr->fixup_uaccess.return_vaddr) !! 110 do
103 { 111 {
104 __label__ unforce_address_space; !! 112 bn_push_msd(&retval, i%10);
105 sos_bool_t need_to_setup_mmu; !! 113 i /= 10;
106 sos_ui32_t errcode = sos_cpu_context_get !! 114 }
107 !! 115 while (i != 0);
108 <<
109 <<
110 need_to_setup_mmu = (cur_thr->squatted_m <<
111 != sos_process_get_ <<
112 if (need_to_setup_mmu) <<
113 sos_thread_prepare_user_space_access(N <<
114 116
115 if (SOS_OK == !! 117 return retval;
116 sos_umem_vmm_try_resolve_page_fault( !! 118 }
117 <<
118 <<
119 goto unforce_address_space; <<
120 119
121 <<
122 <<
123 if (! sos_cpu_context_is_in_user_mode(ct <<
124 { <<
125 cur_thr->fixup_uaccess.faulted_uaddr <<
126 sos_cpu_context_set_EX_return_addres <<
127 <<
128 goto unforce_address_space; <<
129 } <<
130 120
131 if (need_to_setup_mmu) !! 121
132 sos_thread_end_user_space_access(); !! 122 big_number_t bn_copy(const big_number_t bn)
>> 123 {
>> 124 big_number_t retval;
>> 125 int nb_elts;
>> 126 struct digit *d;
133 127
134 sos_bochs_printf("Unresolved USER page F !! 128 list_init(retval);
135 sos_cpu_context_get_PC( !! 129 list_foreach(bn, d, nb_elts)
136 (unsigned)faulting_vadd !! 130 {
137 (unsigned)sos_cpu_conte !! 131 bn_push_lsd(&retval, d->value);
138 sos_bochs_printf("Terminating User threa <<
139 sos_thread_exit(); <<
140 <<
141 unforce_address_space: <<
142 if (need_to_setup_mmu) <<
143 sos_thread_end_user_space_access(); <<
144 return; <<
145 } <<
146 <<
147 <<
148 if (! sos_kmem_vmm_is_valid_vaddr(faulting_v <<
149 { <<
150 <<
151 <<
152 sos_display_fatal_error("Unresolved page <<
153 sos_cpu_context_ <<
154 (unsigned)faulti <<
155 (unsigned)sos_cp <<
156 SOS_ASSERT_FATAL(! "Got page fault (note <<
157 } 132 }
158 133
>> 134 return retval;
>> 135 }
159 136
160 <<
161 <<
162 <<
163 <<
164 <<
165 demand_paging_count ++; <<
166 display_bits(0, 0, <<
167 SOS_X86_VIDEO_FG_LTRED | SOS_X8 <<
168 demand_paging_count); <<
169 <<
170 <<
171 ppage_paddr = sos_physmem_ref_physpage_new(F <<
172 if (! ppage_paddr) <<
173 SOS_ASSERT_FATAL(! "TODO: implement swap. <<
174 SOS_ASSERT_FATAL(SOS_OK == sos_paging_map(pp <<
175 SO <<
176 FA <<
177 SO <<
178 | <<
179 | <<
180 sos_physmem_unref_physpage(ppage_paddr); <<
181 <<
182 <<
183 } <<
184 <<
185 <<
186 <<
187 <<
188 <<
189 <<
190 <<
191 static void idle_thread() <<
192 { <<
193 sos_ui32_t idle_twiddle = 0; <<
194 <<
195 while (1) <<
196 { <<
197 <<
198 <<
199 asm("hlt\n"); <<
200 <<
201 idle_twiddle ++; <<
202 display_bits(0, 0, SOS_X86_VIDEO_FG_GREE <<
203 idle_twiddle); <<
204 <<
205 <<
206 sos_thread_yield(); <<
207 } <<
208 } <<
209 <<
210 <<
211 <<
212 <<
213 <<
214 static void stat_thread() <<
215 { <<
216 while (1) <<
217 { <<
218 sos_ui32_t flags; <<
219 sos_ui32_t load1, load5, load15; <<
220 char str1[11], str5[11], str15[11]; <<
221 struct sos_time t; <<
222 t.sec = 1; <<
223 t.nanosec = 0; <<
224 <<
225 sos_thread_sleep(& t); <<
226 <<
227 sos_disable_IRQs(flags); <<
228 <<
229 <<
230 sos_load_get_sload(&load1, &load5, &load <<
231 sos_load_to_string(str1, load1); <<
232 sos_load_to_string(str5, load5); <<
233 sos_load_to_string(str15, load15); <<
234 sos_x86_videomem_printf(16, 34, <<
235 SOS_X86_VIDEO_FG <<
236 "Kernel (- Idle) <<
237 str1, str5, str1 <<
238 <<
239 sos_load_get_uload(&load1, &load5, &load <<
240 sos_load_to_string(str1, load1); <<
241 sos_load_to_string(str5, load5); <<
242 sos_load_to_string(str15, load15); <<
243 sos_x86_videomem_printf(17, 34, <<
244 SOS_X86_VIDEO_FG <<
245 "User: %s %s %s <<
246 str1, str5, str1 <<
247 <<
248 sos_load_get_uratio(&load1, &load5, &loa <<
249 sos_load_to_string(str1, load1); <<
250 sos_load_to_string(str5, load5); <<
251 sos_load_to_string(str15, load15); <<
252 sos_x86_videomem_printf(18, 34, <<
253 SOS_X86_VIDEO_FG <<
254 "User CPU %%: %s <<
255 str1, str5, str1 <<
256 <<
257 <<
258 sos_load_get_sratio(&load1, &load5, &loa <<
259 sos_load_to_string(str1, load1); <<
260 sos_load_to_string(str5, load5); <<
261 sos_load_to_string(str15, load15); <<
262 sos_x86_videomem_printf(19, 34, <<
263 SOS_X86_VIDEO_FG <<
264 "Kernel CPU %% ( <<
265 str1, str5, str1 <<
266 sos_restore_IRQs(flags); <<
267 } <<
268 } <<
269 <<
270 <<
271 <<
272 <<
273 <<
274 static sos_ret_t <<
275 start_init(struct sos_fs_manager_instance * ro <<
276 { <<
277 sos_ret_t retval; <<
278 struct sos_umem_vmm_as *as_init; <<
279 struct sos_process *proc_init; <<
280 struct sos_thread *new_thr; <<
281 sos_uaddr_t ustack, start_uaddr; <<
282 struct sos_fs_opened_file * init_root, * ini <<
283 <<
284 <<
285 proc_init = sos_process_create("init", FALSE <<
286 if (! proc_init) <<
287 return -SOS_ENOMEM; <<
288 as_init = sos_process_get_address_space(proc <<
289 137
>> 138
>> 139 void bn_del(big_number_t * bn)
>> 140 {
>> 141 struct digit *d;
290 142
291 !! 143 list_collapse(*bn, d)
292 <<
293 <<
294 <<
295 <<
296 retval = sos_fs_new_opened_file(proc_init, r <<
297 SOS_FS_OPEN_ <<
298 & init_root) <<
299 if (SOS_OK != retval) <<
300 { 144 {
301 sos_process_unref(proc_init); !! 145 sos_kfree((sos_vaddr_t)d);
302 return -SOS_ENOENT; <<
303 } 146 }
>> 147 }
304 148
305 !! 149
306 !! 150
307 retval = sos_fs_duplicate_opened_file(init_r !! 151 void bn_shift(big_number_t *bn, int shift)
308 & init !! 152 {
309 if (SOS_OK != retval) !! 153 for ( ; shift > 0 ; shift --)
310 { 154 {
311 sos_fs_close(init_root); !! 155 bn_push_lsd(bn, 0);
312 sos_process_unref(proc_init); <<
313 return -SOS_ENOENT; <<
314 } 156 }
>> 157 }
>> 158
315 159
316 !! 160
317 if ( ( SOS_OK != sos_process_chroot(proc_ini !! 161 void bn_print_bochs(const big_number_t bn)
318 || ( SOS_OK != sos_process_chdir(proc_i !! 162 {
>> 163 int nb_elts;
>> 164 const struct digit *d;
>> 165
>> 166 if (list_is_empty(bn))
>> 167 sos_bochs_printf("0");
>> 168 else
>> 169 list_foreach(bn, d, nb_elts)
>> 170 sos_bochs_printf("%d", d->value);
>> 171 }
>> 172
>> 173
>> 174 void bn_print_console(unsigned char row, unsigned char col,
>> 175 unsigned char attribute,
>> 176 const big_number_t bn,
>> 177 int nb_decimals)
>> 178 {
>> 179 if (list_is_empty(bn))
>> 180 sos_x86_videomem_printf(row, col, attribute, "0");
>> 181 else
319 { 182 {
320 sos_fs_close(init_root); !! 183 int nb_elts;
321 sos_fs_close(init_cwd); !! 184 const struct digit *d;
322 sos_process_chroot(proc_init, NULL, & un !! 185 unsigned char x = col;
323 sos_process_chdir(proc_init, NULL, & unu !! 186
324 sos_process_unref(proc_init); !! 187 list_foreach(bn, d, nb_elts)
325 return -SOS_ENOENT; !! 188 {
>> 189 if (nb_elts == 0)
>> 190 {
>> 191 sos_x86_videomem_printf(row, x, attribute, "%d.", d->value);
>> 192 x += 2;
>> 193 }
>> 194 else if (nb_elts < nb_decimals)
>> 195 {
>> 196 sos_x86_videomem_printf(row, x, attribute, "%d", d->value);
>> 197 x ++;
>> 198 }
>> 199 }
>> 200
>> 201 sos_x86_videomem_printf(row, x, attribute, " . 10^{%d} ", nb_elts-1);
326 } 202 }
>> 203 }
327 204
328 !! 205
329 start_uaddr = sos_binfmt_elf32_map(as_init, !! 206
330 if (0 == start_uaddr) !! 207 big_number_t bn_add (const big_number_t bn1, const big_number_t bn2)
>> 208 {
>> 209 big_number_t retval;
>> 210 const struct digit *d1, *d2;
>> 211 sos_bool_t bn1_end = FALSE, bn2_end = FALSE;
>> 212 char carry = 0;
>> 213
>> 214 list_init(retval);
>> 215 d1 = list_get_tail(bn1);
>> 216 bn1_end = list_is_empty(bn1);
>> 217 d2 = list_get_tail(bn2);
>> 218 bn2_end = list_is_empty(bn2);
>> 219 do
>> 220 {
>> 221 if (! bn1_end)
>> 222 carry += d1->value;
>> 223 if (! bn2_end)
>> 224 carry += d2->value;
>> 225
>> 226 bn_push_msd(&retval, carry % 10);
>> 227 carry /= 10;
>> 228
>> 229 if (! bn1_end)
>> 230 d1 = d1->prev;
>> 231 if (! bn2_end)
>> 232 d2 = d2->prev;
>> 233 if (d1 == list_get_tail(bn1))
>> 234 bn1_end = TRUE;
>> 235 if (d2 == list_get_tail(bn2))
>> 236 bn2_end = TRUE;
>> 237 }
>> 238 while (!bn1_end || !bn2_end);
>> 239
>> 240 if (carry > 0)
331 { 241 {
332 sos_process_unref(proc_init); !! 242 bn_push_msd(&retval, carry);
333 return -SOS_ENOENT; <<
334 } 243 }
335 244
336 !! 245 return retval;
337 ustack = (SOS_PAGING_TOP_USER_ADDRESS - SOS_ !! 246 }
338 retval = sos_dev_zero_map(as_init, &ustack, !! 247
339 SOS_VM_MAP_PROT_RE !! 248
340 0); !! 249
341 if (SOS_OK != retval) !! 250 big_number_t bn_muli (const big_number_t bn, char digit)
>> 251 {
>> 252 big_number_t retval;
>> 253 int nb_elts;
>> 254 char carry = 0;
>> 255 const struct digit *d;
>> 256
>> 257 list_init(retval);
>> 258 list_foreach_backward(bn, d, nb_elts)
342 { 259 {
343 sos_process_unref(proc_init); !! 260 carry += d->value * digit;
344 return -SOS_ENOMEM; !! 261 bn_push_msd(&retval, carry % 10);
>> 262 carry /= 10;
345 } 263 }
346 264
347 !! 265 if (carry > 0)
348 new_thr = sos_create_user_thread(NULL, <<
349 proc_init, <<
350 start_uaddr <<
351 0, 0, <<
352 ustack + SO <<
353 SOS_SCHED_P <<
354 if (! new_thr) <<
355 { 266 {
356 sos_process_unref(proc_init); !! 267 bn_push_msd(&retval, carry);
357 return -SOS_ENOMEM; <<
358 } 268 }
359 269
360 sos_process_unref(proc_init); !! 270 return retval;
361 return SOS_OK; <<
362 } 271 }
363 272
364 273
365 !! 274
366 !! 275 big_number_t bn_mult(const big_number_t bn1, const big_number_t bn2)
367 !! 276 {
368 void sos_main(unsigned long magic, unsigned lo !! 277 int shift = 0;
>> 278 big_number_t retval;
>> 279 int nb_elts;
>> 280 struct digit *d;
>> 281
>> 282 list_init(retval);
>> 283 list_foreach_backward(bn2, d, nb_elts)
>> 284 {
>> 285 big_number_t retmult = bn_muli(bn1, d->value);
>> 286 big_number_t old_retval = retval;
>> 287 bn_shift(& retmult, shift);
>> 288 retval = bn_add(old_retval, retmult);
>> 289 bn_del(& retmult);
>> 290 bn_del(& old_retval);
>> 291 shift ++;
>> 292 }
>> 293
>> 294 return retval;
>> 295 }
>> 296
>> 297
>> 298
>> 299 big_number_t bn_fact(unsigned long int v)
>> 300 {
>> 301 unsigned long int i;
>> 302 big_number_t retval = bn_new(1);
>> 303 for (i = 1 ; i <= v ; i++)
>> 304 {
>> 305 big_number_t I = bn_new(i);
>> 306 big_number_t tmp = bn_mult(retval, I);
>> 307 sos_x86_videomem_printf(4, 0,
>> 308 SOS_X86_VIDEO_BG_BLUE | SOS_X86_VIDEO_FG_LTGREEN,
>> 309 "%d! = ", (int)i);
>> 310 bn_print_console(4, 8, SOS_X86_VIDEO_BG_BLUE | SOS_X86_VIDEO_FG_WHITE,
>> 311 tmp, 55);
>> 312 bn_del(& I);
>> 313 bn_del(& retval);
>> 314 retval = tmp;
>> 315 }
>> 316
>> 317 return retval;
>> 318 }
>> 319
>> 320
>> 321 void bn_test()
>> 322 {
>> 323 big_number_t bn = bn_fact(1000);
>> 324 sos_bochs_printf("1000! = ");
>> 325 bn_print_bochs(bn);
>> 326 sos_bochs_printf("\n");
>> 327
>> 328 }
>> 329
>> 330
>> 331
>> 332 void sos_main(unsigned long magic, unsigned long addr)
369 { 333 {
370 unsigned i; 334 unsigned i;
371 sos_paddr_t sos_kernel_core_base_paddr, sos_ 335 sos_paddr_t sos_kernel_core_base_paddr, sos_kernel_core_top_paddr;
372 struct sos_time tick_resolution; <<
373 struct sos_fs_manager_instance * rootfs; <<
374 336
375 !! 337
376 unsigned long int upper_mem = 0; !! 338
>> 339
>> 340 multiboot_info_t *mbi;
>> 341 mbi = (multiboot_info_t *) addr;
377 342
378 343
379 sos_bochs_setup(); 344 sos_bochs_setup();
380 345
381 sos_x86_videomem_setup(); 346 sos_x86_videomem_setup();
382 sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE); 347 sos_x86_videomem_cls(SOS_X86_VIDEO_BG_BLUE);
383 348
384 349
385 if (magic == MULTIBOOT_BOOTLOADER_MAGIC) 350 if (magic == MULTIBOOT_BOOTLOADER_MAGIC)
386 { !! 351
387 !! 352 sos_x86_videomem_printf(1, 0,
388 !! 353 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
389 !! 354 "Welcome From GRUB to %s%c RAM is %dMB (upper mem = 0x%x kB)",
390 multiboot_info_t *mbi = (multiboot_info_ !! 355 "SOS", ',',
391 !! 356 (unsigned)(mbi->mem_upper >> 10) + 1,
392 !! 357 (unsigned)mbi->mem_upper);
393 <<
394 <<
395 <<
396 upper_mem = mbi->mem_upper; <<
397 sos_x86_videomem_printf(1, 0, <<
398 SOS_X86_VIDEO_FG <<
399 "Welcome From GR <<
400 "SOS article 8", <<
401 (unsigned)(upper <<
402 (unsigned)upper_ <<
403 } <<
404 else if (magic == 0x42244224) <<
405 { <<
406 <<
407 upper_mem = arg; <<
408 sos_x86_videomem_printf(1, 0, <<
409 SOS_X86_VIDEO_FG <<
410 "Welcome to %s%c <<
411 "SOS article 8", <<
412 (unsigned)(upper <<
413 (unsigned)upper_ <<
414 } <<
415 else 358 else
416 !! 359
417 sos_x86_videomem_printf(1, 0, 360 sos_x86_videomem_printf(1, 0,
418 SOS_X86_VIDEO_FG_Y 361 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
419 "Welcome to SOS ar !! 362 "Welcome to SOS");
420 363
421 sos_bochs_putstring("Message in a bochs: Thi !! 364 sos_bochs_putstring("Message in a bochs\n");
422 365
423 366
424 sos_gdt_subsystem_setup(); !! 367 sos_gdt_setup();
425 sos_idt_subsystem_setup(); !! 368 sos_idt_setup();
426 369
427 370
428 sos_exception_subsystem_setup(); !! 371 sos_exceptions_setup();
429 sos_irq_subsystem_setup(); !! 372 sos_irq_setup();
430 373
431 374
432 sos_i8254_set_frequency(100); 375 sos_i8254_set_frequency(100);
433 376
434 <<
435 <<
436 tick_resolution = (struct sos_time) { .sec=0 <<
437 sos_time_subsysem_setup(& tick_resolution); <<
438 377
439 !! 378
440 if (upper_mem == 0) !! 379 if (magic != MULTIBOOT_BOOTLOADER_MAGIC)
441 { 380 {
442 sos_x86_videomem_putstring(20, 0, 381 sos_x86_videomem_putstring(20, 0,
443 SOS_X86_VIDEO 382 SOS_X86_VIDEO_FG_LTRED
444 | SOS_X86_V 383 | SOS_X86_VIDEO_BG_BLUE
445 | SOS_X86_V 384 | SOS_X86_VIDEO_FG_BLINKING,
446 "I don't know !! 385 "I'm not loaded with Grub !");
447 386
448 for (;;) 387 for (;;)
449 continue; 388 continue;
450 } 389 }
451 390
452 <<
453 <<
454 <<
455 <<
456 391
457 sos_irq_set_routine(SOS_IRQ_TIMER, 392 sos_irq_set_routine(SOS_IRQ_TIMER,
458 clk_it); !! 393 clk_it);
459 !! 394
460 !! 395
461 !! 396 asm volatile ("sti\n");
462 !! 397
463 !! 398
464 SOS_ASSERT_FATAL(SOS_OK !! 399
465 == sos_physmem_subsystem_se !! 400 sos_physmem_setup((mbi->mem_upper<<10) + (1<<20),
466 !! 401 & sos_kernel_core_base_paddr,
467 !! 402 & sos_kernel_core_top_paddr);
468 403
469 404
470 405
471 406
472 407
473 408
474 409
475 SOS_ASSERT_FATAL(SOS_OK == !! 410 if (sos_paging_setup(sos_kernel_core_base_paddr,
476 sos_paging_subsystem_setup( !! 411 sos_kernel_core_top_paddr))
477 !! 412 sos_bochs_printf("Could not setup paged memory mode\n");
478 !! 413 sos_x86_videomem_printf(2, 0,
479 !! 414 SOS_X86_VIDEO_FG_YELLOW | SOS_X86_VIDEO_BG_BLUE,
480 sos_exception_set_routine(SOS_EXCEPT_PAGE_FA !! 415 "Paged-memory mode is activated");
481 pgflt_ex); <<
482 416
483 <<
484 <<
485 <<
486 417
487 if (sos_kmem_vmm_subsystem_setup(sos_kernel_ !! 418 if (sos_kmem_vmm_setup(sos_kernel_core_base_paddr,
488 sos_kernel_ !! 419 sos_kernel_core_top_paddr))
489 bootstrap_s <<
490 bootstrap_s <<
491 + bootstrap <<
492 sos_bochs_printf("Could not setup the Kern 420 sos_bochs_printf("Could not setup the Kernel virtual space allocator\n");
493 421
494 if (sos_kmalloc_subsystem_setup()) !! 422 if (sos_kmalloc_setup())
495 sos_bochs_printf("Could not setup the Kmal 423 sos_bochs_printf("Could not setup the Kmalloc subsystem\n");
496 424
497 !! 425
498 !! 426 bn_test();
499 <<
500 sos_mm_context_subsystem_setup(); <<
501 <<
502 <<
503 <<
504 <<
505 sos_cpu_context_subsystem_setup(); <<
506 <<
507 <<
508 <<
509 <<
510 sos_swintr_subsystem_setup(); <<
511 <<
512 427
513 !! 428
514 !! 429 for (;;)
515 !! 430 continue;
516 <<
517 <<
518 sos_thread_subsystem_setup(bootstrap_stack_b <<
519 bootstrap_stack_s <<
520 <<
521 <<
522 sos_sched_subsystem_setup(); <<
523 <<
524 <<
525 SOS_ASSERT_FATAL(sos_create_kernel_thread("i <<
526 SO <<
527 <<
528 <<
529 sos_load_subsystem_setup(); <<
530 <<
531 <<
532 SOS_ASSERT_FATAL(sos_create_kernel_thread("s <<
533 NU <<
534 SO <<
535 431
536 !! 432 return;
537 <<
538 <<
539 <<
540 sos_umem_vmm_subsystem_setup(); <<
541 sos_dev_zero_subsystem_setup(); <<
542 <<
543 <<
544 <<
545 <<
546 sos_process_subsystem_setup(); <<
547 <<
548 <<
549 <<
550 <<
551 asm volatile ("sti\n"); <<
552 <<
553 <<
554 SOS_ASSERT_FATAL(SOS_OK == sos_fs_virtfs_sub <<
555 SOS_ASSERT_FATAL(SOS_OK == sos_fs_subsystem_ <<
556 <<
557 <<
558 <<
559 <<
560 <<
561 <<
562 <<
563 start_init(rootfs); <<
564 <<
565 <<
566 <<
567 <<
568 <<
569 <<
570 <<
571 <<
572 <<
573 <<
574 <<
575 <<
576 sos_bochs_printf("Bye from primary thread !\ <<
577 sos_thread_exit(); <<
578 SOS_FATAL_ERROR("No trespassing !"); <<
579 } 433 }