Skip to content

Commit

Permalink
Merge pull request #178 from Wenzel/kernel/nyx-6.0
Browse files Browse the repository at this point in the history
Kernel/nyx 6.0
  • Loading branch information
Wenzel authored May 11, 2023
2 parents bd6dac1 + 267ab64 commit ea29179
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 9 deletions.
3 changes: 2 additions & 1 deletion .github/RELEASE.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,8 @@

# ✨ Improvements

/
- Upgrade kAFL kernel from `5.10.73` -> `6.0` (#178)
- kernel base config from Ubuntu 22.04

# 🔧 Fixes

Expand Down
4 changes: 2 additions & 2 deletions deploy/intellabs/kafl/roles/kernel/defaults/main.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# keep these in sync so we can find the grub entry matching the kernel
kernel_grep_string: '5.10.73-kafl+'
kernel_grep_string: '6.0.0-nyx+'
kernel_deb_urls:
- https://github.com/IntelLabs/kafl.linux/releases/download/kvm-nyx-5.10.73/linux-image-5.10.73-kafl+_5.10.73-kafl+-1_amd64.deb
- https://github.com/IntelLabs/kafl.linux/releases/download/kvm-nyx-v6.0/linux-image-6.0.0-nyx+_6.0.0-nyx+-1_amd64.deb
6 changes: 0 additions & 6 deletions deploy/intellabs/kafl/roles/kernel/files/support_test.c
Original file line number Diff line number Diff line change
Expand Up @@ -39,12 +39,6 @@ int main(){
exit(2);
}

ret = ioctl(kvm, KVM_CHECK_EXTENSION, KVM_CAP_NYX_FDL);
if (ret != 1){
printf("ERROR: KVM does not support NYX_PT (%d)!\n", ret);
exit(2);
}

ret = ioctl(kvm, KVM_VMX_PT_SUPPORTED, NULL);
if (ret == -1){
printf("ERROR: KVM-PT is not loaded!\n");
Expand Down

0 comments on commit ea29179

Please sign in to comment.