diff options
| -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 -------------------------------- |