wok log linux/stuff/linux-efi.u

age author description
16 months ago Pascal Bellard linux: read default cmdline from EFI\BOOT\linux.cmdline