Norman Feske 7e95d5701f os: remove os/handle_registry.h
This utility is superseded by the Id_space.

Issue 
Fixes 
2024-08-27 15:29:38 +02:00
..
2024-08-27 15:29:38 +02:00
2024-06-20 12:54:30 +02:00
2024-06-20 12:59:00 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.