Qualification evidence — kcheck 2.0.1 — 2026-10-16

Native build: Ubuntu 24.04 amd64 / GCC 13.3 / reduced lab configuration
exit_code=0
elapsed_seconds=181.8

Debian installation result:
{
  "qemu_exit_code": 0,
  "elapsed_seconds": 39.01462557400009
}
guest_exit_code=0

Debian reboot result:
{
  "qemu_exit_code": 0,
  "elapsed_seconds": 4.920703384999797
}
guest_exit_code=0

Installed packages:
linux-headers-7.2.11 7.2.11-20261016101842 installed
linux-image-7.2.11 7.2.11-20261016101842 installed

Actual Debian module build and version output:
 build a real external module ===
make: Entering directory '/usr/src/linux-headers-7.2.11'
make[1]: Entering directory '/root/qualification/module'
warning: the compiler differs from the one used to build the kernel
  The kernel was built by: gcc (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0
  You are using:           gcc (Debian 14.2.0-19) 14.2.0
warning: pahole version differs from the one used to build the kernel
  The kernel was built with: 125
  You are using:             130
  CC [M]  qual_hello.o
  MODPOST Module.symvers
WARNING: modpost: missing MODULE_DESCRIPTION() in qual_hello.o
  CC [M]  qual_hello.mod.o
  CC [M]  .module-common.o
  LD [M]  qual_hello.ko
make[1]: Leaving directory '/root/qualification/module'
make: Leaving directory '/usr/src/linux-headers-7.2.11'

=== Build result ===
Linux kcheck-qual-debian13 7.2.11 #20261016101842 SMP PREEMPT Fri Oct 16 15:28:37 +05 2026 x86_64 GNU/Linux
kcheck 2.0.1
Python 3.13.5
gcc (Debian 14.2.0-19) 14.2.0
DEBIAN13_INSTALL_HEADERS_OK

Reboot / module load evidence:
 extracted from the installed package ===
Linux (none) 7.2.11 #20261016101842 SMP PREEMPT Fri Oct 16 15:28:37 +05 2026 x86_64 GNU/Linux
Linux version 7.2.11 (root@cdd56ab68ece) (gcc (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0, GNU ld (GNU Binutils for Ubuntu) 2.42) #20261016101842 SMP PREEMPT Fri Oct 16 15:28:37 +05 2026

=== Load and unload the module compiled in Debian 13 ===
qual_hello: loading out-of-tree module taints kernel.
qual_hello: module verification failed: signature and/or required key missing - tainting kernel
KCHECK_QUAL_MODULE_OK
Module                  Size  Used by
qual_hello             12288  0
KCHECK_QUAL_MODULE_EXIT
[    3.611484] KCHECK_QUAL_MODULE_OK
[    3.698554] KCHECK_QUAL_MODULE_EXIT
linux-headers-7.2.11 7.2.11-20261016101842 installed
linux-image-7.2.11 7.2.11-20261016101842 installed
DEBIAN13_REBOOT_MODULE_OK

Concurrent build refusal:
Dossier de build   : /workspace/scratch/fcd4b4f4e61c/kcheck-qualification/native/kcheck/linux-7.2.11
Parallelisme       : 1 job(s)
Profil             : modules non signes ; debug desactive
[OK] Dependances Debian disponibles.
[KO] Une compilation kcheck utilise deja ce dossier.

Tampered distribution refusal:
kcheck: OK
test_kcheck.py: OK
README.md: FAILED
install.sh: OK
sha256sum: WARNING: 1 computed checksum did NOT match

SHA256 b21989f3dee409916539682d910d03491a4a4c2968e049b1e1746ef8bcadd9d3  kcheck

SHA256 3f1869ad06d854679cceff55e4174c5b03970d840fdb443543e9adec641639fe  test_kcheck.py

SHA256 fd0fc479f983a8c05313f13e9c36330fe6651cf725396748c40d5cd93fa1e6a4  linux-7.2.11.tar.xz

SHA256 d019270108ee0a0da25b3d80643871d508a0fd3bb6ee53c7f5681ae0c408e4e6  debian-installed-bzImage

SHA256 679053bec50bf863d4854329b06f3bec2243d08f13da4ef2ab23df2e4bf8f000  linux-headers-7.2.11_7.2.11-20261016101842_amd64.deb

SHA256 74fea1dfbd0106dedd0bbdc6d606a375315e36248047871373e369d38abb94d0  linux-image-7.2.11_7.2.11-20261016101842_amd64.deb

SHA256 de2bdeb622a409cfe738a939cee566cb297ab779262f09b8928ffccfb35f2593  linux-libc-dev_7.2.11-20261016101842_amd64.deb
