Age | Commit message (Expand) | Author |
---|---|---|
2016-08-22 | configs/pc_x86_64_efi_defconfig: enable kernel EFI support | Erico Nunes |
2016-08-22 | board/pc/readme.txt: fix output image name | Erico Nunes |
2016-06-03 | configs/pc_x86_64_{bios, efi}_defconfig: new samples | Gustavo Zacarias |