@@ -22,7 +22,7 @@ For more information, also consult [Stackoverflow](https://stackoverflow.com/que
-**⚠ ATTENTION** Make sure secureboot is disabled. Currently, the compiled kernel is unsigned and thus, will not work with secureboot.
-**⚠ ATTENTION** The repository does not contain the kernel packges, they are built by the CI and and can be downloaded.
- Download the latest kernel packages built by the CI [[as individual files]](https://git-st.inf.tu-dresden.de/ceti/realtime-kernel/-/jobs/artifacts/master/browse?job=build-kernel)[[as archive]](https://git-st.inf.tu-dresden.de/ceti/realtime-kernel/-/jobs/artifacts/master/download?job=build-kernel).
- Download the latest kernel packages built by the CI [[as individual files]](https://git-st.inf.tu-dresden.de/ceti/realtime-kernel/-/jobs/artifacts/noetic/browse?job=build-kernel)[[as archive]](https://git-st.inf.tu-dresden.de/ceti/realtime-kernel/-/jobs/artifacts/noetic/download?job=build-kernel).
- Install all three packages using `sudo dpkg -i <package-file-name>`.