Skip to content
Hello, Raspberry Pi Windows 10 world!
C Batchfile
Branch: master
Clone or download

Latest commit

andreiw driver_prebuilts: add matching PDBs
For debugging.

Signed-off-by: Andrei Warkentin <andrey.warkentin@gmail.com>
Latest commit d0c903f May 17, 2018

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
driver_prebuilts driver_prebuilts: add matching PDBs May 17, 2018
source bcm2836sdhc: clean up May 17, 2018
winpe_stuff Hello, Raspberry Pi Windows 10 world! May 16, 2018
readme.md Hello, Raspberry Pi Windows 10 world! May 16, 2018

readme.md

To build drivers you will need only the EWDK. Run the EWDK LaunchBuildEnv, navigate to a driver source directory and do:

buildme.cmd

WinPE

Copy contents of \drivers and \winpe_stuff to \Windows\system32 inside \sources\boot.wim of a WinPE image.

You will need to enable test signing in the bcd. E.g.: bcdedit /store K:\efi\Microsoft\boot\bcd /set {default} testsigning yes

You can’t perform that action at this time.