On 05/09/2018 08:43 AM, Michal Suchánek wrote: > It seems it is somehow assumed this is key 0 but I did not find it > documented anywhere nor did I notice an interface for determining the > default key.
Does the manpage not count as documentation? :) "pkey 0 is used as the default key" https://manpages.debian.org/stretch/manpages/pkeys.7.en.html