mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 17:21:13 +00:00
464181b01d
Split port API implementation into separate io_port_session_support.cc file, so that base-sel4 may implement this part alternatively. Issue #2044