Christian Kaltenecker

Hey @paulgazz, I also tried `kextract`, `kclause`, and `klocalizer` on other systems. These are: - `Freetz-ng` - `Fiasco` - `uClibC-ng` - `Coreboot` (but this only works with a script that...

Hey :-) I am currently also working on extracting models from other projects using `kmax`. I may have figured out a way to do so by following the documentation in...