040000 tree 9cc06839228a19f894f9cdf1de6e63f4d7e06fee	driver
040000 tree 248778aa4efbc9ecb64ab3d863f7ea1dd6cce4a1	platform
040000 tree 53b77eec84c2abc7274a617bb2e588e54198a372	processor
040000 tree a80c8390c57fb9d7afe15c47f78b1e01247e4b18	vmm