diff options
| author | Tobias Klauser <tklauser@distanz.ch> | 2020-07-09 11:29:37 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-09 11:43:36 +0200 |
| commit | a864f3d20c4372bbd155d4f4b74b6da7f4b568a2 (patch) | |
| tree | e2206db6b539d670475d2af4f145925d5442807a /executor/executor_windows.h | |
| parent | 1bac9ec6ea3761286b0b46c7812973c6a65c2d1a (diff) | |
docs/linux: add not about default OpenSBI firmware in QEMU for linux/riscv64
Mention the possibility to use `-bios default` to use OpenSBI provided
with QEMU. However, this might not work on all distributions yet, so
make it optional.
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Diffstat (limited to 'executor/executor_windows.h')
0 files changed, 0 insertions, 0 deletions