base-dbg.txz	285fadf028f13fbc83ffc64331fafbe3ba8a2ad1e2c20cfb5cfc9617661fb94b	1015	base_dbg	"Base system (Debugging)"	off
base.txz	12a1c9f60a34802625269885b5f9d7b6fe9e7e9f730814a4b4d6452576879744	26128	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	86cf5f3dcbdecdabc84995cf5eb4ddb9da1a012455e22747294c6c776e03b2e6	579	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	27476cc9d0ce0f9179e3ced29d336e78d864361e78ce7e8c49f144c26b4a4121	579	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	0818558487263f11753b4fc84ad9520f2d2de6b492411277e8d23a58e85b584d	582	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	e3dbbb8e1d14414d23e5ddff390d17ce8c2869e1c8025f7b97c8a1d4da7180de	582	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	80cace762f93b75b30dde919de3a9ca062726d2bbf06beed1a0e30249a2144fa	230	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	b98831b06db0e229e503d766d244fdd0e84b992c275f6b16d0d120952ae38518	692	lib64	"64-bit compatibility libraries"	on
tests.txz	d9ddbdd41b3f701d3372f41541a8751f94d4f2df874c4e94c5f51bed217a700b	7026	tests	"Test suite"	off