Oleksii Oleksenko

Hi, > softboundcets does not handle C++ code yet is this still valid? Thanks

@LuChuanV Thanks for reporting the issue! This was indeed an outdated field; fixed now (see 493d347 ). @griffinandrew I could not reproduce this issue. Could you post `generated.asm` that triggered...

The error is thrown by the assembler when `generator.py` executes `as generated.asm -o generated.o`. This happens before the kernel module is ever called, so I doubt that the error has...

The issue should be fixed now. Make sure clone the latest release or the top commit on the `main` branch, and to re-run the `download_spec` command to get an update...

Closed by 46141efd0ba5b2f51d1bcb4674797a828e508573

It looks like there has been several changes in Linux v6 that are incompatible with the current implementation. Thanks for bringing this up! Re/ cpuid: It looks like the header...

I cannot reproduce the issue on my setup. Let me try to install ubuntu 22 on my test machine, and I'll get back to you

I tried a fresh install of ubuntu 22.04 with the default kernel (5.15), and everything works fine so far. I'll now try to upgrade the kernel, but for the time...

How did you install the kernel? Did you use this build https://kernel.ubuntu.com/~kernel-ppa/mainline/v6.0.9/ ?

Fixed the issue with `cpuid.h`. Could you try the updated version?