charlycst
Re:The Lions Operating System
on Thursday November 20, 2025 @04:38PM (#45998122)
There is an example of interface in the docs: https://lionsos.org/docs/examples/kitty/
Re:Writing a RISC-V Emulator in Rust
on Sunday October 26, 2025 @03:16PM (#45714455)
Another way to build emulators that I am very interested in is to start from a spec, and automatically translate it into executable code. High-fidelity emulators have a lot of potential for testing and verification.
The best example I know of is Sail [1]. Among other, they have RISC-V spec [2] and a bunch of compiler back-ends. They can already generate C or OCaml emulators, and I have been working on a new Rust back-end recently.
[1]: https://github.com/rems-project/sail [2]: https://github.com/riscv/sail-riscv
Show HN: Miralis – a RISC-V virtual firmware monitor
https://github.com/CharlyCst/miralis
Miralis is a RISC-V firmware that virtualizes RISC-V firmware. In other words, it runs firmware in user-space (M-mode software in U-mode).The fact that this is even possible is interesting: indeed, not all ISAs are virtualizable, and the same applies for their firmware mode. It all boils down to the virtualization requirements [1], which is a great read if you haven't come across it yet. Arm's...