040000 tree 9cc06839228a19f894f9cdf1de6e63f4d7e06fee	driver
040000 tree 379b07944c71776f6fea7f13d30e149741f369fd	platform
040000 tree 96585224976400bde4e83fd75f6e3eb67ddfc7cd	processor
040000 tree 76e3d92a10deac7d9bdf7edad8e785838d6bf0a7	vmm