base-dbg.txz	7c2173f6256191769b30e83b716b596f47d1e54e7a87e30fd4aaf92e6ffb221a	978	base_dbg	"Base system (Debugging)"	off
base.txz	08a188298acf382293e4ea6d5d4c3feffd3621d8db44d5b266cb579cfe51442f	26419	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	e1ece6815fde31830eeb2d69d7c4c69506fd0759edf4e2f3fc9f9f6bbb93639e	582	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	4051b9a0db581eb71130208f8e6d4498b0f2ab74f7161dce65146b1a7db5f574	582	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	12f6b462d45c9ffa6f21951e9d35e38f5da53a70ffa2c8a7134f558d11deb3a4	585	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	e74b0c132f62d2ca9f70bf834860b2716ab2434d5f41a6140cb9cc4e956c46b6	585	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	07d3ddb985f6f5f2b7ebd901a2c0ba780e61ca9296e52960dfc1759a9d00a7bb	214	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	317aa0fcf4807df17d550e2a45289c7d4fdc744ae21c6bff2ebc66b16de8c7eb	632	lib64c	"CheriABI compatibility libraries"	on
tests.txz	60781b14134038ded538c21945b986beb984fae2f4b2c16d8037139bd665b026	5516	tests	"Test suite"	off