Rev 2278 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2278 | Rev 2284 | ||
---|---|---|---|
Line 72... | Line 72... | ||
72 | #endif |
72 | #endif |
73 | 73 | ||
74 | // TODO: move to the kernel space |
74 | // TODO: move to the kernel space |
75 | // page_mapping_insert(AS_KERNEL, 0xffff0000, 0x00000000, flags); |
75 | // page_mapping_insert(AS_KERNEL, 0xffff0000, 0x00000000, flags); |
76 | // TODO: remove when aux_printf not needed |
76 | // TODO: remove when aux_printf not needed |
- | 77 | // page_mapping_insert(AS_KERNEL, 0x0000000, 0x0000000, flags); |
|
77 | page_mapping_insert(AS_KERNEL, 0x10000000, 0x10000000, flags); |
78 | page_mapping_insert(AS_KERNEL, 0x1000000, 0x1000000, flags); |
- | 79 | // page_mapping_insert(AS_KERNEL, 0x1100000, 0x1100000, flags); |
|
- | 80 | // page_mapping_insert(AS_KERNEL, 0x1500000, 0x1500000, flags); |
|
- | 81 | // page_mapping_insert(AS_KERNEL, 0x1600000, 0x1600000, flags); |
|
- | 82 | ||
- | 83 | // page_mapping_insert(AS_KERNEL, 0xffff0000, 0xffff0000, flags); |
|
78 | 84 | ||
79 | 85 | ||
80 | as_switch(NULL, AS_KERNEL); |
86 | as_switch(NULL, AS_KERNEL); |
81 | 87 | ||
82 | } |
88 | } |