rv
RV: Runtime Verification
Description:
Runtime Verification (RV) is a lightweight (yet rigorous) method that complements classical exhaustive verification techniques (such as model checking and theorem proving) with a more practical approach for complex systems. The rv tool is the interface for a collection of monitors that aim analysing the logical and timing behavior of Linux.
Homepage: https://www.kernel.org/
License: ((GPL-2.0-only WITH Linux-syscall-note) OR BSD-2-Clause) AND ((GPL-2.0-only WITH Linux-syscall-note) OR BSD-3-Clause) AND ((GPL-2.0-only WITH Linux-syscall-note) OR CDDL-1.0) AND ((GPL-2.0-only WITH Linux-syscall-note) OR Linux-OpenIB) AND ((GPL-2.0-only WITH Linux-syscall-note) OR MIT) AND ((GPL-2.0-or-later WITH Linux-syscall-note) OR BSD-3-Clause) AND ((GPL-2.0-or-later WITH Linux-syscall-note) OR MIT) AND BSD-2-Clause AND (BSD-2-Clause OR Apache-2.0) AND BSD-3-Clause AND BSD-3-Clause-Clear AND GFDL-1.1-no-invariants-or-later AND GPL-1.0-or-later AND (GPL-1.0-or-later OR BSD-3-Clause) AND (GPL-1.0-or-later WITH Linux-syscall-note) AND GPL-2.0-only AND (GPL-2.0-only OR Apache-2.0) AND (GPL-2.0-only OR BSD-2-Clause) AND (GPL-2.0-only OR BSD-3-Clause) AND (GPL-2.0-only OR CDDL-1.0) AND (GPL-2.0-only OR GFDL-1.1-no-invariants-or-later) AND (GPL-2.0-only OR GFDL-1.2-no-invariants-only) AND (GPL-2.0-only WITH Linux-syscall-note) AND GPL-2.0-or-later AND (GPL-2.0-or-later OR BSD-2-Clause) AND (GPL-2.0-or-later OR BSD-3-Clause) AND (GPL-2.0-or-later OR CC-BY-4.0) AND (GPL-2.0-or-later WITH GCC-exception-2.0) AND (GPL-2.0-or-later WITH Linux-syscall-note) AND ISC AND LGPL-2.0-or-later AND (LGPL-2.0-or-later OR BSD-2-Clause) AND (LGPL-2.0-or-later WITH Linux-syscall-note) AND LGPL-2.1-only AND (LGPL-2.1-only OR BSD-2-Clause) AND (LGPL-2.1-only WITH Linux-syscall-note) AND LGPL-2.1-or-later AND (LGPL-2.1-or-later WITH Linux-syscall-note) AND (Linux-OpenIB OR GPL-2.0-only) AND (Linux-OpenIB OR GPL-2.0-only OR BSD-2-Clause) AND Linux-man-pages-copyleft AND MIT AND (MIT OR Apache-2.0) AND (MIT OR GPL-2.0-only) AND (MIT OR GPL-2.0-or-later) AND (MIT OR LGPL-2.1-only) AND (MPL-1.1 OR GPL-2.0-only) AND (X11 OR GPL-2.0-only) AND (X11 OR GPL-2.0-or-later) AND Zlib AND (copyleft-next-0.3.1 OR GPL-2.0-or-later)
Vendor: Philippe Troin <phil@fifi.org>
Packages
| rv-6.11.9-100.0.0.2.fif39.x86_64 [198 KiB] |
Changelog by Philippe Troin (2024-11-25):
- Update DisplayLink evdi driver to 1.14.7. - Revert 7c877586da to avoid NFS hangs and poor VM performance. |
| rv-6.11.9-100.0.0.1.fif39.x86_64 [198 KiB] |
Changelog by Philippe Troin (2024-11-21):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. |
| rv-6.11.8-100.0.0.1.fif39.x86_64 [198 KiB] |
Changelog by Philippe Troin (2024-11-18):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. |
| rv-6.11.7-100.0.0.1.fif39.x86_64 [198 KiB] |
Changelog by Philippe Troin (2024-11-11):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. |
| rv-6.11.6-100.0.0.1.fif39.x86_64 [198 KiB] |
Changelog by Philippe Troin (2024-11-04):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. |
| rv-6.11.5-100.0.0.1.fif39.x86_64 [197 KiB] |
Changelog by Philippe Troin (2024-10-23):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. |
| rv-6.11.4-100.0.0.1.fif39.x86_64 [197 KiB] |
Changelog by Philippe Troin (2024-10-20):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. |
| rv-6.11.3-100.0.0.1.fif39.x86_64 [197 KiB] |
Changelog by Philippe Troin (2024-10-12):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. |
| rv-6.10.13-100.0.0.1.fif39.x86_64 [192 KiB] |
Changelog by Philippe Troin (2024-10-05):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.10.12-100.0.0.1.fif39.x86_64 [192 KiB] |
Changelog by Philippe Troin (2024-10-02):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.10.11-100.0.0.1.fif39.x86_64 [192 KiB] |
Changelog by Philippe Troin (2024-09-20):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.10.10-100.0.0.1.fif39.x86_64 [192 KiB] |
Changelog by Philippe Troin (2024-09-13):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.10.9-100.0.0.1.fif39.x86_64 [191 KiB] |
Changelog by Philippe Troin (2024-09-10):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.10.8-100.0.0.1.fif39.x86_64 [191 KiB] |
Changelog by Philippe Troin (2024-09-07):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.2). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.6 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.9.6-100.0.0.1.fif39.x86_64 [184 KiB] |
Changelog by Philippe Troin (2024-06-26):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.9.5-100.0.0.1.fif39.x86_64 [184 KiB] |
Changelog by Philippe Troin (2024-06-17):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.9.4-100.0.0.1.fif39.x86_64 [184 KiB] |
Changelog by Philippe Troin (2024-06-14):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.9.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.9.4). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter, patched for 6.9.4. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.12-200.0.0.1.fif39.x86_64 [174 KiB] |
Changelog by Philippe Troin (2024-06-01):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.11-200.0.0.1.fif39.x86_64 [174 KiB] |
Changelog by Philippe Troin (2024-05-28):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.10-x00.0.0.2. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. - Revert 3 nfsd per-ns accounting patches crashing the kernel. |
| rv-6.8.10-200.0.0.2.fif39.x86_64 [174 KiB] |
Changelog by Philippe Troin (2024-05-21):
- Revert 3 nfsd per-ns accounting patches crashing the kernel. - Fix create_headers_tarball.sh (in 6.8.10-x00.0.0.2). |
| rv-6.8.10-200.0.0.1.fif39.x86_64 [174 KiB] |
Changelog by Philippe Troin (2024-05-19):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.5-201. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.9-200.0.0.1.fif39.x86_64 [173 KiB] |
Changelog by Philippe Troin (2024-05-04):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.5-201. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.8-200.0.0.1.fif39.x86_64 [173 KiB] |
Changelog by Philippe Troin (2024-04-29):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.5-201. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.7-200.0.0.1.fif39.x86_64 [173 KiB] |
Changelog by Philippe Troin (2024-04-19):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.5-201. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.6-200.0.0.1.fif39.x86_64 [172 KiB] |
Changelog by Philippe Troin (2024-04-14):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.5-201. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.5-201.0.0.1.fif39.x86_64 [172 KiB] |
Changelog by Philippe Troin (2024-04-12):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.8.5-201. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.4 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.5-200.0.0.1.fif39.x86_64 [172 KiB] |
Changelog by Philippe Troin (2024-04-11):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.7. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi 1.14.3 driver. - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.8.4-200.0.0.1.fif39.x86_64 [172 KiB] |
Changelog by Philippe Troin (2024-04-05):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.13.1). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.7. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi driver (using displaylink-rpm 1.14.1-2 patches for 6.6 and 6.8 patches). - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.7.11-200.0.0.1.fif39.x86_64 [175 KiB] |
Changelog by Philippe Troin (2024-03-29):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.12.7). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.7.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.7. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi driver (using displaylink-rpm 1.14.1-2 patches for 6.6). - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.7.10-200.0.0.1.fif39.x86_64 [175 KiB] |
Changelog by Philippe Troin (2024-03-23):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.12.7). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.5.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.7. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi driver (using displaylink-rpm 1.14.1-2 patches for 6.6). - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.7.5-200.0.0.1.fif39.x86_64 [174 KiB] |
Changelog by Philippe Troin (2024-02-18):
- The Fif kernel is signed since 6.1.7, last rekeyed on 2024-02-10 with CN=Kernel Signing 2024-02 Key. - Include v4l2loopback driver (in-tree build, updated to 0.12.7). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.5.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.7. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi driver (using displaylink-rpm 1.14.1-2 patches for 6.6). - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.7.4-200.0.0.2.fif39.x86_64 [173 KiB] |
Changelog by Philippe Troin (2024-02-10):
- Rekey kernel signing key with CN=Kernel Signing 2024-02 Key. |
| rv-6.7.4-200.0.0.1.fif39.x86_64 [173 KiB] |
Changelog by Philippe Troin (2024-02-07):
- The Fif kernel is signed since 6.1.7. - Include v4l2loopback driver (in-tree build, updated to 0.12.7). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.5.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.7. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi driver (using displaylink-rpm 1.14.1-2 patches for 6.6). - Disable CONFIG_RUST to be able to build kernel-headers. |
| rv-6.7.3-200.0.0.1.fif39.x86_64 [173 KiB] |
Changelog by Philippe Troin (2024-02-02):
- The Fif kernel is signed since 6.1.7. - Include v4l2loopback driver (in-tree build, updated to 0.12.7). - Add patch to allow any bitmask in group_fwd_mask. - Added IMQ (updated for kernel 6.5.4). - Added netfilter layer 7 filter (updated for Linux 5.19.6). - Published xt_layer7.h and xt_IMQ.h headers in uapi. - Don't build debug kernel by default (--with-debug-kernel to enable). - Turn on Amp on HP Spectre x360 Convertible 13t_aw000 and 14t_ea100 (updated for 6.6.11). - Include patch for fixing mute led and front speakers on same hardware (updated for 6.5.11). - Fix delayed keyboard initialization on Spectre x360. - Update create_headers_tarball.sh for Linux 6.x.y. - Add lockdown_hibernate command line parameter. - Add SuperMicro BIOS Sum driver, patched for 6.4.4. - Add DisplayLink evdi driver (patched for 6.6). - Disable CONFIG_RUST to be able to build kernel-headers. |
