wok log linux/stuff/linux-efi.u

age author description
2018-06-02 Pascal Bellard linux: read default cmdline from EFI\BOOT\linux.cmdline