Chris Stevens 40238f1ec1 Added shutdown to the Raspberry Pi 1 & 2. vor 8 Jahren
..
Makefile edce6dfcd4 Renamed uefi/inc and boot/lib/inc to include. vor 8 Jahren
build.ck 0fb8f6dffa Incorporated includes more naturally in mingen build. vor 8 Jahren
runtime.c 40238f1ec1 Added shutdown to the Raspberry Pi 1 & 2. vor 8 Jahren