diff options
| author | Prashanth Mundkur | 2018-11-29 09:06:35 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-11-29 09:52:36 -0800 |
| commit | 6797b018523d0acf82b570e9417d6d91c18dd69f (patch) | |
| tree | 108080fae9e41e1cc6a3f3ab6a9234b06f1e50f3 /src/bytecode_util.ml | |
| parent | 35eff0805dffe8d006d390bdaebac1b8d4b0a61d (diff) | |
RISC-V: implement WFI in the platform model.
The initial implementation tries to optimize for simulator execution, especially for OS boots.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions