Explore projects

Linux kernel source tree

"Das U-Boot" Source Tree

Trusted side of the TEE

Provides clean hello world templates for msbuild.exe including wdm/ntifs based header usage.