|
|
308b523e7e
|
chore: make clippy happy
|
2024-07-03 21:08:26 +08:00 |
|
|
|
0300ac3c5d
|
chore: kernel: trap: print trace when page fault happens
|
2024-06-21 14:14:39 +08:00 |
|
|
|
d69e95721c
|
chore: makefile: qemu: parse backtrace on run
|
2024-06-17 00:44:52 +08:00 |
|
|
|
e1e772dca5
|
fix: uapi: add missing conversions between LookupFailure and SysError
|
2024-06-17 00:44:29 +08:00 |
|
|
|
8bf63bfb5d
|
fix: root: pass a valid cptr
|
2024-06-17 00:43:50 +08:00 |
|
|
|
7d3cef6f80
|
chore: kernel: move root related consts into uapi
|
2024-06-17 00:43:25 +08:00 |
|
|
|
c81b0dbe82
|
chore: kernel: entry: make clippy happy
|
2024-06-17 00:42:46 +08:00 |
|
|
|
acaa1b9f46
|
fix: kernel: cnode: use checked shift right when matching guard
|
2024-06-17 00:42:23 +08:00 |
|
|
|
b62c378a38
|
feat: kernel: separate syscall from tcb
|
2024-06-17 00:41:33 +08:00 |
|
|
|
41208c1e15
|
feat: root: add dummy root server
|
2024-06-16 23:39:04 +08:00 |
|
|
|
2ec3859da7
|
feat: entry: done
|
2024-06-16 23:36:42 +08:00 |
|
|
|
92801fccdc
|
feat: root: done
|
2024-06-16 23:35:48 +08:00 |
|
|
|
72a04f2905
|
feat: arch: riscv: vspace: map_range: pass mapping addr to alloc_page callback
|
2024-06-16 23:35:12 +08:00 |
|
|
|
d30f87e8e7
|
chore: makefile: add args for setting loglevel
|
2024-06-16 22:30:23 +08:00 |
|
|
|
d8c1ba45ed
|
chore: logging: make clippy happy
|
2024-06-16 22:29:58 +08:00 |
|
|
|
78133158b6
|
feat: root: drop boot info and refactor
|
2024-06-16 22:22:05 +08:00 |
|
|
|
6eb3a062c1
|
feat: plat: trap: add trait for setting up pc
|
2024-06-16 22:19:23 +08:00 |
|
|
|
56fc041f9d
|
feat: logging: parse loglevel from fdt
|
2024-06-16 16:03:25 +08:00 |
|
|
|
93c4d3c5fb
|
feat: logging: add methods for raw printing
|
2024-06-16 00:36:06 +08:00 |
|
|
|
c066097c82
|
fix: arch: riscv: trap: {get, set}_reg are shifted with wrong offset
|
2024-06-16 00:20:56 +08:00 |
|
|
|
797652c2b8
|
fix: scheduler: head node will never be scheduled, add a dummy head node
|
2024-06-16 00:11:17 +08:00 |
|
|
|
6565beef4c
|
feat: scheduler: implement schedule
|
2024-06-15 19:59:52 +08:00 |
|
|
|
ecb8b7a54f
|
feat: objects: tcb: add tid and implement activate_vspace
|
2024-06-15 19:59:28 +08:00 |
|
|
|
39dab16baa
|
feat: arch: riscv: allow to get current pagetable
|
2024-06-15 19:58:41 +08:00 |
|
|
|
00b7c7d7df
|
feat: vspace: table: add paddr()
|
2024-06-15 19:17:39 +08:00 |
|
|
|
3e13d1ce52
|
chore: cleanup
|
2024-06-15 18:07:27 +08:00 |
|
|
|
e50105e797
|
fix: root: load_root_server: load offset
|
2024-06-15 18:00:02 +08:00 |
|
|
|
bf6297c5ac
|
feat: root: add load root_server
|
2024-06-15 17:50:25 +08:00 |
|
|
|
61fefde82c
|
fix: root: alloc_objects: range boundary judge error
|
2024-06-15 17:49:10 +08:00 |
|
|
|
705fb217fd
|
feat: root: create_objects done
|
2024-06-15 17:47:37 +08:00 |
|
|
|
fe30d8d28c
|
feat: arch: riscv: vspace: map_range: pass alloc_page as closure
|
2024-06-15 17:46:02 +08:00 |
|
|
|
eb70cd7b73
|
chore: root: log object slot
|
2024-06-15 17:44:59 +08:00 |
|
|
|
2bf8e2341d
|
chore: tools: parse_backtrace: just append info
|
2024-06-15 16:16:30 +08:00 |
|
|
|
0af7025264
|
feat: objects: untyped: use bits instead of size
|
2024-06-15 16:14:33 +08:00 |
|
|
|
e3be1c56cd
|
feat: tools: add address parser
|
2024-06-15 14:42:54 +08:00 |
|
|
|
7757a174ce
|
fix: backtrace: latest Rust will make ra = 0xffffffff when getting the first frame
|
2024-06-14 22:37:33 +08:00 |
|
|
|
27deb3302a
|
fix: utils: addr: add missing methods
|
2024-06-14 21:15:57 +08:00 |
|
|
|
ad4da2a7e4
|
feat: riscv: vspace: implement copy_kernel_pagetable and drop KERNEL_PAGETABLE_SIZE
|
2024-06-14 21:15:08 +08:00 |
|
|
|
97392a5788
|
feat: riscv: vspace: always use virtual address with page table
|
2024-06-14 21:13:11 +08:00 |
|
|
|
8824345b17
|
fix: riscv: ld: linker will not increment dot when handling .tbss, manually set dot to TLS_END for getting the correct KERNEL_END
|
2024-06-14 21:11:42 +08:00 |
|
|
|
c451aa4c76
|
fix: vspace: entry: PTEFlags -> MapAttr: RWX must all be empty when indicating a page table
|
2024-06-14 21:06:09 +08:00 |
|
|
|
42a7ea89c5
|
feat: vspace: table: allow to get table vaddr
|
2024-06-14 16:44:13 +08:00 |
|
|
|
03aa0edcc8
|
feat: vspace: entry: add clear api
|
2024-06-14 16:25:16 +08:00 |
|
|
|
8fe47c5728
|
feat: root: initial root server setup logic
|
2024-06-14 15:36:55 +08:00 |
|
|
|
da05567fbf
|
chore: uapi: cap: rename PageTable to Table
|
2024-06-14 15:34:24 +08:00 |
|
|
|
302de5eae1
|
feat: uapi: add initial cspace layout
|
2024-06-14 15:33:19 +08:00 |
|
|
|
a37efbd13f
|
chore: makefile: fmt
|
2024-06-14 15:31:39 +08:00 |
|
|
|
f4bb68a6f4
|
fix: sync with latest Rust
|
2024-06-14 14:29:46 +08:00 |
|
|
|
c013478d0b
|
feat: cap: update size info
|
2024-06-09 21:46:20 +08:00 |
|
|
|
3b3c68a203
|
feat: objects: tcb: update states
|
2024-06-09 15:40:26 +08:00 |
|
