base-dbg.txz	6f4efff80e62c0308cf1af07cf66b3288854986656893ae5fe32e8ce382ce6e5	1016	base_dbg	"Base system (Debugging)"	off
base.txz	c6e98444ed2e8e6ccdc8e93a3e68d7157b946069fc8c2ca44b1c85147f04dfa0	26036	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	11a67840025a559cfdf247b183c3945ca2e14e3fac8ce6caca74cb235ece3fe7	585	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	2e616f40f7519e1d145a7f80c0c6aff3a1eacf7f4ab44717d7bfa88eddae59ea	585	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	576626ae747b1da7b589ea7361fde4a597dde7c90e08f9ac3dd719626c155bac	588	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	2c0f3c9099a0add5d8894f081012170bdb7cd9e479e8522970f0dacf3192a562	588	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	267a41ee9553bae12394fcc9d3cb782a124def3bca7b7aae382abd7241440380	231	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	7d503dab30c8e8b176eee0cf0fb7c51dfb51f4130bd2375aeee1980e02bb9710	712	lib64	"64-bit compatibility libraries"	on
tests.txz	203c2dee2e1748a4bacdc81b884261fdbe8e286a82f0ae43b79875a19e79f0fc	6933	tests	"Test suite"	off
