base-dbg.txz	e7c764c7f21fc66edaa51adbd5ea213599671251f88ef954f056e1e472831fa0	978	base_dbg	"Base system (Debugging)"	off
base.txz	f3ad1f29e478b3354a7ecb9394c3d4e5a43e5f3e1c8d69fc503ecbab3d220894	26490	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	437aa7dd1bdbec5632385597f3da2d465b1979ab55dd387a0d464f9810652d20	582	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	e76f9e3ee00e6978a2ea2e33ac4b7afbe03dee9bec3033b8211cc84cb00d70a5	582	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	ba1641ca304b18cce8b9c99692653848effda0203c14b580c5c03a7cd46ea3a2	585	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	e1335d99b585d4c5016128aae1515b27438c81d62f0a206ae539bb70b8a62dc4	585	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	aedfac1078a62c103187154915fa71ed4a69802a0b41f781a19bdecbe8ae9e74	214	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	21f9233b6c8560bcde10f0bfa39c829001137b167bdb98125ba40bfce01e466e	632	lib64c	"CheriABI compatibility libraries"	on
tests.txz	a3db99673881c784740c421c89f9ff95f1698481f9070efad9a7ba467a1b9447	5518	tests	"Test suite"	off