diff options
| author | Prashanth Mundkur | 2018-05-07 17:53:00 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-07 17:53:00 -0700 |
| commit | e865a47422dc186d9721cb208ebab1f1a7d7624e (patch) | |
| tree | 691a3c9b09b4c17916893b12509fc1c3bb88c3d1 /src/process_file.mli | |
| parent | 5322e93e4bf762a1c2bc111956462dcf64cd1083 (diff) | |
Adjust default pte update setting to match spike's default.
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions