040000 tree 9cc06839228a19f894f9cdf1de6e63f4d7e06fee	driver
040000 tree 379b07944c71776f6fea7f13d30e149741f369fd	platform
040000 tree 7ed68e30b0462e3bfa0143424ae29bc9fd6de525	processor
040000 tree cd257eb793a14f56196ade9c7d7d51b4e9e4922f	vmm