74,9 → 74,15 |
// TODO: move to the kernel space |
// page_mapping_insert(AS_KERNEL, 0xffff0000, 0x00000000, flags); |
// TODO: remove when aux_printf not needed |
page_mapping_insert(AS_KERNEL, 0x10000000, 0x10000000, flags); |
// page_mapping_insert(AS_KERNEL, 0x0000000, 0x0000000, flags); |
page_mapping_insert(AS_KERNEL, 0x1000000, 0x1000000, flags); |
// page_mapping_insert(AS_KERNEL, 0x1100000, 0x1100000, flags); |
// page_mapping_insert(AS_KERNEL, 0x1500000, 0x1500000, flags); |
// page_mapping_insert(AS_KERNEL, 0x1600000, 0x1600000, flags); |
|
// page_mapping_insert(AS_KERNEL, 0xffff0000, 0xffff0000, flags); |
|
|
as_switch(NULL, AS_KERNEL); |
|
} |