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