/kernel/trunk/generic/src/main/kinit.c |
---|
146,7 → 146,7 |
if (KA2PA(config.init_addr) % FRAME_SIZE) |
panic("config.init_addr is not frame aligned"); |
as = as_create(NULL); |
as = as_create(NULL, 0); |
if (!as) |
panic("as_create\n"); |
u = task_create(as); |
/kernel/trunk/generic/src/main/main.c |
---|
185,7 → 185,7 |
/* |
* Create kernel address space. |
*/ |
as = as_create(GET_PTL0_ADDRESS()); |
as = as_create(GET_PTL0_ADDRESS(), AS_KERNEL); |
if (!as) |
panic("can't create kernel address space\n"); |