base-dbg.txz	5530a00647159ec4d399b6a811c604180cd83a2d6ff213e2ffc69d9e1be5211b	1014	base_dbg	"Base system (Debugging)"	off
base.txz	7725fa1ab119d21e79edcaaefba7bbcd10640f6e6b86bfec6977d0a0ec71a625	26146	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	099f88371b8aebd7710b0cfbbf100f460e9ca3970c9a6afabfb3a2ce224ac15e	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	6141d404f9ee0ae11ae27b1e5270cbb3455a0712b0570579261a5e4ec38851b1	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	afd2833662656f316a290949b227a84c53d51fd5396b75f0309306b3628e0357	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	ed4ccbd43137eeef3ec94002f073ed01e8d11c8aff01b66215963b60bc22e090	584	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	d2a98f71202009f183ed89a959403ff37464c58722857d8af2b20bbdc80805e7	230	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	5260d681534a5453f1deabef4c47790da4079d12742b04c837e92ef1574fb19c	692	lib64	"64-bit compatibility libraries"	on
tests.txz	58de78ddf5d0726fda3938f5ec0f5310b2f4ce153aef8dccb5915d0f46a60342	7046	tests	"Test suite"	off