mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 10:01:57 +00:00
013eb506a8
The Dir_file_system uses static cast to convert handles from the application to a plugin local type. For this reason, only the local handle type may be returned from 'opendir' or 'open'. This fixes the unexpected behavior when opening directories as files. Fix #2533
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.