100644 blob 1a9a52cf46c7d51c6735e94bc3606eb5414a965e	app.mk
040000 tree 7d648b5512eb3cb6a956444c8eb99943679397de	arch
100644 blob 01cfa03e0e84d6f422a3b4978af01515f45910bf	common.mk
100644 blob ff293ad5dda510883ac4ba5874baa41c8bb4bfa1	sel4.mk