nautilus
nautilus copied to clipboard
HExSA-Lab
Nautilus Aerokernel
We've encountered a GPF when Nautilus is compiled with -O 0 both in gcc and clang in qemu and baremetal. Looks like mm_boot_kmem_cleanup() corrupts cpu struct (naut->sys.cpus) Reproducibility qemu-system-x86_64 --enable-kvm...
* **Please check if the request fulfills these requirements** - [ ] The commit messages follow our guidelines (See [Contributing](https://github.com/HExSA-Lab/nautilus/blob/master/CONTRIBUTING.md)). - [ ] The code follows our style guidelines, again...
It would be great to have gcov output for generating test coverage results and for general informational purpose. Supporting this in a running kernel will require some output channel over...
This is an automatically generated security fix for a vulnerability detected in your code which is a variant of [CVE-2020-8597](https://nvd.nist.gov/vuln/detail/CVE-2020-8597). You can read in more detail about this vulnerability in...
We have a Dell R430 that we're doing some testing on, and when we ran into an issue where we receive a spurious interrupt and the machine locks up in...
For running on RPi, Mellanox Bluefield, small devices, and Pogo nodes, it'd be nice to have an ARM port. @btauro might be a good candidate.
Now that we have the ability to dynamically link modules, we should be able to have a runtime module system with a well-defined interface which pulls in non-core critical features....
Would be nice to have better deployability