wok-6.x 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 |