search

genodelabs / genode

Genode OS Framework
https://genode.org/
Other
1.05k stars 249 forks source link

depot: rename src/rump -> src/vfs_rump #5327

Closed jschlatow closed 2 weeks ago

jschlatow commented 3 weeks ago

Depot archives of VFS plugins are all prefixed with "vfs_", except the rump plugin. For consistency, let's rename it.

nfeske commented 3 weeks ago

Thanks. Merged to staging.