Mathieu Tarral
Mathieu Tarral
poke @il-steffen any chance you can have a quick at this redqueen issue ? thanks !
Hi @kotee4ko, this issue has been in my TODO list for a while, unfortunately it's not trivial to investigate and solve. On top of that i'm not familiar with RedQueen's...
Hi @joaomlneto thank you very much for this little hack, I confirm it works for now 🎉 !
Also looking for a solution to avoid duplicating my pytest fixture for each scope. Anyone working on this issue for the next pytest release ? Thanks !
Hi @bjloed Could you be more specific regarding your build failure with the Nyx kernel sources ? Which config option did you try to enable ? Thanks !
Hi @ohault ! The current stable KVM-VMI is indeed based on an old 5.4 kernel and rebasing the patches / verifying correctness is a huge effort. However I know someone...
Hi, there is a community effort to port the kernel patches to the latest LTS kernel please see this issue: https://github.com/KVM-VMI/kvm-vmi/issues/190 If you'd like to port QEMU patches to the...
Hi @gjm-anban , You can have a look at the `kafl debug` subcommand to replay a single payload. The command line is similar to `kafl fuzz`, except that it takes...
Hi @liujf628995, When using the GDB kafl debug action, QEMU starts with `-S`: ~~~ -S freeze CPU at startup (use 'c' to start execution) ~~~ so you need to connect...
Hi ! I've never seen this error before. Also you altready toggled the debug output (which is great), but doesn't give us much information. _"Failed to start QEMU binary /usr/local/bin/qemu-system-x86_64...