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