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.

Tree: 4ae5a8876f

cs250

device-files

enable-32bit

eos14-bringup

eos20

fdt

fix-fcvt-s-w

gnuconfig

hax

master

maxmem

new-sbi-disk

remap

rocc-enable

rv32-putstring

rvt-master

sbi-disk

sbi_emulation_for_perf

sbi_for_perf

travis-dev

archive-1.9.1

v1.0.0

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '4ae5a8876f'

${ noResults }

riscv-pk/pk

History

Saleem Abdulrasool 2f3e6f5303 pk: correct the handling of SYS_getcwd (#250) `SYS_getcwd` is different from `getcwd` in that the return value is < 0 on failure otherwise it is the length of the string. The proxy kernel was treating 0 as success and all other values as error. As a result, we would never return a valid value for `getcwd`. The following program now executes properly with the Proxy Kernel: ```c #include <stdio.h> #include <stdlib.h> #include <unistd.h> #include <linux/limits.h> int main(int argc, char **argv) { unsigned char buffer[PATH_MAX + 1] = {0}; if (getcwd(buffer, PATH_MAX)) printf("cwd: %s\n", buffer); return EXIT_SUCCESS; } ```		5 years ago
..
boot.h	pk: avoid out-of-memory errors	5 years ago
console.c	pk: remove vestigial trapframe_t::insn field	5 years ago
elf.c	pk: only access user memory through explicit accessors	5 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	Add __early_pgalloc_align; refactor __early_alloc to use it	5 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	pk: Fix __clear_cache() compilation issue with recent compilers (#240)	5 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	pk: correct the handling of SYS_getcwd (#250)	5 years ago
syscall.h	Add some missing syscall stubs	5 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