RISC-V Proxy Kernel
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Andrew Waterman 6b5c8dbb6f mprotect whole ELF segment, not just file portion 2 years ago
..
boot.h pk: avoid out-of-memory errors 5 years ago
console.c Fix local variable register usage for ra (#268) 4 years ago
elf.c mprotect whole ELF segment, not just file portion 2 years ago
elf.h Only accept statically linked binaries (#176) 7 years ago
entry.S replace `sbadaddr` with `stval` (#243) 5 years ago
file.c pk: only access user memory through explicit accessors 5 years ago
file.h pk: support printk before file init 5 years ago
frontend.c pk: support >2 GiB of user memory for RV64 5 years ago
frontend.h Add `statx` syscall (#234) 5 years ago
handlers.c pk: make breakpoints fatal 5 years ago
mmap.c pk: fix __do_brk when new addr is not feasible (#295) 3 years ago
mmap.h pk: refactor vm free list management 5 years ago
pk.ac Properly license all nontrivial files 8 years ago
pk.c Specify text section in rest_of_boot_loader definition 4 years ago
pk.h pk: remove vestigial trapframe_t::insn field 5 years ago
pk.lds configure: Add option to set physical memory start address 7 years ago
pk.mk.in pk: only access user memory through explicit accessors 5 years ago
syscall.c Implement syscall readlinkat and readv (#318) 2 years ago
syscall.h Implement syscall readlinkat and readv (#318) 2 years ago
usermem.c pk: correctly restore sstatus.SUM in strcpy_from_user 5 years ago
usermem.h pk: only access user memory through explicit accessors 5 years ago