040000 tree 9cc06839228a19f894f9cdf1de6e63f4d7e06fee	driver
040000 tree 379b07944c71776f6fea7f13d30e149741f369fd	platform
040000 tree 96585224976400bde4e83fd75f6e3eb67ddfc7cd	processor
040000 tree 91dbaa73cfd1f1824295f89725d85689ef1f717a	vmm