GitHub - cksystemsteaching/selfie: An educational software system of a tiny C compiler, a tiny RISC-V emulator, and a RISC-V hypervisor | Lobsters

17

GitHub - cksystemsteaching/selfie: An educational software system of a tiny C compiler, a tiny RISC-V emulator, and a RISC-V hypervisor c compilers osdev github.com
via dmytrish 4 months ago | archive
Archive.org Archive.today Ghostarchive
| 2 comments

2

2

hapax 4 months ago | link

Oh man, this is so cool! I love the approach of providing students with all the tools needed to use the system included, allows for a complete understanding of the system and lends itself to being easy to hack on. Great stuff!
1. 3
  dmytrish edited 4 months ago | link
  That’s the kind of cool things that this entire-stack-in-one-file approach enables:
  
  they can convert a compiled RISC-U executable into input to Z3 and then ask Z3 about its properties.
  
  they have their own simple SAT-solver in examples/babysat.c
  
  they have their own fuzzer and symbolic execution engine!
  
  there’s a basic bare-metal version in machine/ that can boot on top of OpenSBI.