diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-29 10:51:11 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-29 10:51:11 -0700 |
| commit | 483e1e4044b5f3e35da5b6102c39f0534483ba36 (patch) | |
| tree | 06a612557e310f2104d30d0ab043f26e087cee11 | |
| parent | ec7d9a39e8d1fb70a7f3ca83980d9e906ca49472 (diff) | |
| download | sail-riscv-483e1e4044b5f3e35da5b6102c39f0534483ba36.zip sail-riscv-483e1e4044b5f3e35da5b6102c39f0534483ba36.tar.gz sail-riscv-483e1e4044b5f3e35da5b6102c39f0534483ba36.tar.bz2 | |
Add a note about 32-bit OS boots.
| -rw-r--r-- | os-boot/README.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/os-boot/README.md b/os-boot/README.md index 7077b4a..4d80d39 100644 --- a/os-boot/README.md +++ b/os-boot/README.md @@ -7,6 +7,9 @@ output port similar to Spike's HTIF (host-target interface) mechanism, and an interrupt controller based on Spike's CLINT (core-local interrupt controller). Console input is not currently supported. +32-bit OS boots require a workaround for the 64-bit HTIF interface, +which is currently not supported. + Booting Linux with the C backend -------------------------------- |