base-dbg.txz	a8d9e91e7b10482ccb83f33cdf8b4fb9788bcd2c8c09503ee2ecd3e404d0f0ad	985	base_dbg	"Base system (Debugging)"	off
base.txz	a0de64291b390de5c8cc1cd227b55bf0f1458a2ed9972e2da8dbb6d3706a5c57	26173	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	1c8dbea587e7d2d22d156b25c68a07e3507e12281b9566b37be4ee4ea6a165bc	584	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	d437f15c9abd6be1392a8eb418e524064494d2530956cce1d62e3ffae0259d80	584	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	660752c21c4ab3de7a6681fb9746a1f701b261c4d393d630fd0e0160923e3db4	587	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	98a2ab2baa9e12b9d7afadbb436854ebe4b84562c628bb76156271355a913115	587	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	202b0cbf71c5397a02a167b51539ccd9c8f4a41100e7ba74d457b1a00004f0f3	217	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	195db6b139d486c4f0876e18cafd58793869cdaf973b6c8b2f5e355826ad98cf	638	lib64c	"CheriABI compatibility libraries"	on
tests.txz	00ce7037a136ca027e2394107b358b31c888862c6c26584317349dd092fc6008	5426	tests	"Test suite"	off