7 Commits

Author	SHA1	Message	Date
Zhang Junyang	4844e7ca7c	Allow page table protectors to flush TLB entries precisely	2024-08-14 20:40:03 +08:00
Zhang Junyang	9a6e1b03e3	Allow the page table un-mapper to flush the TLB precisely	2024-08-14 20:40:03 +08:00
Zhang Junyang	e597a10088	Rename PageTableQueryResult to PageTableItem	2024-08-14 20:40:03 +08:00
Zhang Junyang	fd63f8307d	Simplify visibility of page table APIs since the module is already pub(crate)	2024-07-20 20:56:29 +08:00
Zhang Junyang	668997ab51	Refactor the VmSpace API and work around misuses	2024-07-20 20:56:29 +08:00
Jianfeng Jiang	f86583dbce	Make essential changes for publishing OSTD	2024-07-18 18:18:05 +08:00
Jianfeng Jiang	59350a8578	Rename aster-frame to ostd	2024-06-27 15:45:49 +08:00