genodelabs / genode-world

Collection of community-maintained components for Genode
Other
44 stars 46 forks source link

Remove unnecessary session_size checks #294

Closed cnuke closed 1 year ago