diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-08-18 22:40:49 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-08-18 22:40:49 -0700 |
| commit | ecb15c6cabd106a186ee1caad086cb11c80cb84e (patch) | |
| tree | 123d51e19de3bfa2ecb94f12ee9e654f69153ef9 /pk/vm.c | |
| parent | 186ae3cc353fa3115d4ee0c9fcb18d8b2370c68c (diff) | |
| download | pk-ecb15c6cabd106a186ee1caad086cb11c80cb84e.zip pk-ecb15c6cabd106a186ee1caad086cb11c80cb84e.tar.gz pk-ecb15c6cabd106a186ee1caad086cb11c80cb84e.tar.bz2 | |
Limit program size to simplify RV32
Diffstat (limited to 'pk/vm.c')
| -rw-r--r-- | pk/vm.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -357,7 +357,7 @@ void vm_init() clearpcr(PCR_SR, SR_VM); size_t stack_size = RISCV_PGSIZE * stack_pages; - current.stack_top = first_free_page; + current.stack_top = MIN(first_free_page, 0x80000000); // for RV32 sanity uintptr_t stack_bot = current.stack_top - stack_size; if (have_vm) |