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