wok log linux/stuff/linux-efi.u
age | author | description |
---|---|---|
2018-06-04 | Pascal Bellard | linux: hile useless efi error messages |
2018-06-02 | Pascal Bellard | Do not use efi shell (again) |
2018-06-02 | Pascal Bellard | linux: read default cmdline from EFI\BOOT\linux.cmdline |