Rev 2326 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2326 | Rev 2352 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <config.h> |
39 | #include <config.h> |
40 | #include <arch/exception.h> |
40 | #include <arch/exception.h> |
41 | #include <typedefs.h> |
41 | #include <typedefs.h> |
42 | #include <arch/types.h> |
42 | #include <arch/types.h> |
43 | #include <interrupt.h> |
43 | #include <interrupt.h> |
44 | #include <arch/debug/print.h> |
44 | #include <arch/mm/frame.h> |
45 | 45 | ||
46 | 46 | ||
47 | /** |
47 | /** |
48 | * Initializes kernel adress space page tables, sets abourts exceptions vectors |
48 | * Initializes kernel adress space page tables, sets abourts exceptions vectors |
49 | */ |
49 | */ |
Line 70... | Line 70... | ||
70 | page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, KA2PA(virtaddr), flags); |
70 | page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, KA2PA(virtaddr), flags); |
71 | #endif |
71 | #endif |
72 | // TODO: #else |
72 | // TODO: #else |
73 | 73 | ||
74 | as_switch(NULL, AS_KERNEL); |
74 | as_switch(NULL, AS_KERNEL); |
- | 75 | ||
- | 76 | boot_page_table_free(); |
|
75 | } |
77 | } |
76 | 78 | ||
77 | /** |
79 | /** |
78 | * Map device into kernel space. |
80 | * Map device into kernel space. |
79 | * |
81 | * |