040000 tree 9cc06839228a19f894f9cdf1de6e63f4d7e06fee	driver
040000 tree bf581595f920d5eefa1cf705d956c680e1a7f85d	platform
040000 tree 7ed68e30b0462e3bfa0143424ae29bc9fd6de525	processor
040000 tree cd257eb793a14f56196ade9c7d7d51b4e9e4922f	vmm