Be notified of new releases
Create your free GitHub account today to subscribe to this repository for new releases and build software alongside 28 million developers.Sign up
Updated various components including qemu, linux kernel and capstone.
- Latest stable version of the linux kernel v4.1
- Busybox and capstone updated to latest version
- Minor kernel config and documentation updates
- Fix a hang for x86 callback generation
- Properly handle kernel idle threads in arm64
A reproducibility issue has been reported for multi-core simulations.