mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
The generic helper Avl_string_tree of the NIC router is currently only used for finding domains via their names, but in the future it can be used for finding uplinks by their labels also. Additionally, it enables us to throw an exception when inserting two elements with the same identifier. Issue #2840
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.