040000 tree b35d75700e82ccebebc357c266e3ee3ee9d30c60	kernel
100644 blob 3bb8d64b7dc8c8761f2e0383b44c30f61b61e8f5	microvisor.h
100644 blob 5d553bbeff3ae532bc40016194ba4981d2f28bc0	resource_manager.h