mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-28 06:49:47 +00:00
Until the kernel page tables are active, labels can't be used directly because the associated pages are not mapped for non-core threads.
Until the kernel page tables are active, labels can't be used directly because the associated pages are not mapped for non-core threads.