mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 14:40:54 +00:00
3403a91213
The new utility returns a key code for a passed name and is implemented by linear search, which is slow but sufficient in situations like config updates. Issue #4748
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.