Vspace具体细分的相关方法移植2-zw #14
Comments
llh730
pushed a commit
that referenced
this issue
Oct 29, 2024
* almost done all the data structure changes and sync (#11) * update the sel4_cspace/src/arch/aarch64/mod.rs with some definations * add some funcitons * update the objecttype definations * clean the pgde/pude/pde structures definetions * change the definetions of lookup and update 4 todos * Update kernel 3 (#12) * update the sel4_cspace/src/arch/aarch64/mod.rs with some definations * add some funcitons * update the objecttype definations * clean the pgde/pude/pde structures definetions * change the definetions of lookup and update 4 todos * try to fix some functions * fix some errors with more errors generated * clean some unused functions * update and pass the complier, but still have unimplement * Update kernel 4 (#13) * fill in the unimplement code * clean the warnings * add the 4k page * FIX:the page entry problem of map kernel window * Update kernel 5 (#14) * fix the word the vs used * fix the page bug, and let the root task work * Update kernel 6 (#15) * fix make user pte todo * fix the unmap assert * fix the bug of the unmap page * fix another bug * seems fix bug
llh730
pushed a commit
that referenced
this issue
Oct 29, 2024
* almost done all the data structure changes and sync (#11) * update the sel4_cspace/src/arch/aarch64/mod.rs with some definations * add some funcitons * update the objecttype definations * clean the pgde/pude/pde structures definetions * change the definetions of lookup and update 4 todos * Update kernel 3 (#12) * update the sel4_cspace/src/arch/aarch64/mod.rs with some definations * add some funcitons * update the objecttype definations * clean the pgde/pude/pde structures definetions * change the definetions of lookup and update 4 todos * try to fix some functions * fix some errors with more errors generated * clean some unused functions * update and pass the complier, but still have unimplement * Update kernel 4 (#13) * fill in the unimplement code * clean the warnings * add the 4k page * FIX:the page entry problem of map kernel window * Update kernel 5 (#14) * fix the word the vs used * fix the page bug, and let the root task work * Update kernel 6 (#15) * fix make user pte todo * fix the unmap assert * fix the bug of the unmap page * fix another bug * seems fix bug * add the pbf parser codes * try to let the parsered rs file pass complier * add the ci rustfmt componant * change the cap tag * change the lookup fault part * sort the dir * fix the sign extend bug * finish change the sel4_cspace * finish change the sel4_vspace * finish change the sel4_task * finish change sel4_ipc * change a part of the kernel * finish change code but need fix bugs * find the parameter order problem of frame cap new * check the parameter order of other caps * fix a bug * try to change a lot use reference * fix the core::mem:transmute copy semantic problem * fix some bugs * delete the copy trait of capability, and change some reference for more rusty * update fmt * fix the cap reply cap parameter order and add the riscv version * update some of the cap_asid_pool_cap and fmt * clean the cap_trans part
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
makeUser3rdLevel √
makeUser2ndLevel √
makeUser1stLevel √
setVMRootForFlush √ --kernel
pageUpperDirectoryMapped √
pageDirectoryMapped √
invalidateTLBByASID √
invalidateTLBByASIDVA √
pageTableMapped √
unmapPageUpperDirectory √
unmapPageDirectory √
//unmapPageTable √
//?unmapPage √
//?deleteASID √ -- llh
//?deleteASIDPool √ -- llh
doFlush x --kernel
lookupIPCBuffer -- task
checkValidIPCBuffer == check_ipc_buffer_valid --task
The text was updated successfully, but these errors were encountered: