100644 blob a92dcd65d97ff672deb8047c0c3cb08bb45bcd6c	app.mk
040000 tree ce8c23062dd81ca9371316c09e42a28fbec02c7d	arch
100644 blob 668b0efec78d36e7da903ea6d1f8ba238f99be83	common.mk
100644 blob c118eda903b7b9572d9e7b5c5e89e6a2c0fc290d	libcantrip.mk
100644 blob d0c22e2011946fe3c533ecaa4100d35167b3da0b	sel4.mk