On Di, 23.09.25 09:26, Itxaka Serrano Garcia ([email protected]) 
wrote:

> Also a small thing, there is nothing on the docs on how to select a profile
> via Type 1 entries, is that even possible? Does it go into the efi stanza
> like EFI_FILE@PROFILE_NUMBER or something?

You have to prefix the cmdline you pass to the UKI with "@4" to selec
profile 4, and so on.

Hence, it's part of the cmdline in a way, but also not, as we strip it
before measuring things. That's the reason we use this weird "@" based
syntax, to indicate visually that this is something that is not really
like a regular kernel cmdline argument.

Lennart

--
Lennart Poettering, Berlin

Reply via email to