mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 16:58:29 +00:00
f86cd6899c
Check if controllers port count matches number of ports found in the port implemented register. In case counts don't match print a diagnostic message for debugging purposes. issue #4081
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.