Hardware-In-The-Loop

Layer Target Availability*
System Hardware OS Application Function Type† ISA(s) Binary? Source code Data Set
Avatar2 passthrough emulated repl — passthrough unmodified passthrough unmodified 3 ARM ✔️ ✔️ ✔️
Charm passthrough emulated repl unmodified passthrough unmodified 1 ARM ✔️ ✔️
FEMU passthrough emulated unmodified unmodified unmodified 0, 1, 2, 3 x86
FirmCorn emulated passthrough repl unmodified unmodified repl 1 ARM, MIPS, x86 ✔️ ✔️ ~
Frankenstein emulated repl repl unmodified unmodified repl 2 ARM ✔️ ✔️ ~
Kammerstetter’16 passthrough emulated passthrough repl unmodified unmodified 0, 1 MIPS ✔️
Pretender passthrough emulated repl — unmodified unmodified 3 ARM ✔️ ✔️ ✔️
Prospect passthrough emulated passthrough repl unmodified unmodified 0, 1 MIPS ✔️
Surrogates passthrough emulated unmodified unmodified unmodified 0, 1, 2, 3 ARM ✔️

  Legend:   passthrough: Passed through   emulated: Emulated   unmodified: Not modified   replaced: Replaced   symbolic: Symbolic model   ~: Partial Availability

* When available, source code and data sets can be found by clicking on the checkmarks.
† Target types are described in our faq.