base-dbg.txz	6fb3b0595206b41ff1985e8d3cfc102079a0e2dd4d76e0d3892ef55dc465d44e	983	base_dbg	"Base system (Debugging)"	off
base.txz	527c64a6e343af72970f992650ab0cff57d83ec878d72c7feda1f995b7733155	28081	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	1eac1cbc7821d5a6984d2752de3af777a6c6231dff436bf9fa277e1f101820de	586	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	7916a9af513d8919387f3b24f0a259f229ddffafd670772efa22c30af7bcb228	586	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	0fee20e5133b45fb0d23947287bf40827566bb12b9b5d2e5bd9e7ec21fb860ea	589	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	e367ac2d05717cfb512f42290bc982345f42823e32b7f1deb109730da608e63d	589	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	4a5c1ec810a1bddcb5f4ecdc2cad8ed9f5f58b7e1d9a51371e829363993e23bd	218	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	ce4a2f6a1a1b7134e21e961745f2bf0e3f9db82fd90adaf06df997fa5eacfa60	637	lib64c	"CheriABI compatibility libraries"	on
tests.txz	49bd7197cd1226eb0cb33b920a05b8f8304eaa42ce5dae838f26037336cb5a38	5570	tests	"Test suite"	off