diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-09-09 18:24:28 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-09-09 18:24:28 -0700 |
commit | 4a6b20595a77a0d3e4e507563232a55ff74febf0 (patch) | |
tree | 1bd78652a92f37a00c0f21def88a7aaf5cdabb8d /pk/pk.c | |
parent | 292fb6e737b59178ac1911527e995abd161da329 (diff) | |
download | riscv-pk-4a6b20595a77a0d3e4e507563232a55ff74febf0.zip riscv-pk-4a6b20595a77a0d3e4e507563232a55ff74febf0.tar.gz riscv-pk-4a6b20595a77a0d3e4e507563232a55ff74febf0.tar.bz2 |
Add -p flag to pk to disable demand paging
Diffstat (limited to 'pk/pk.c')
-rw-r--r-- | pk/pk.c | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -16,6 +16,10 @@ static void handle_option(const char* s) current.cycle0 = 1; break; + case 'p': // disable demand paging + demand_paging = 0; + break; + default: panic("unrecognized option: `%c'", s[1]); break; |