diverging state of master and devel branches

[jschwe]

I am somewhat confused why master and devel branch have diverged so much. As someone new to the codebase I can't even be sure to what exactly the differences are.

From what I've seen the master branch takes hermit-sys from crates.io, and this makes it hard to keep devel and master in sync. What are the benefits in downloading hermit-sys from crates.io versus using hermit-sys with the lib-hermit submodule at a fixed commit?

[stlankes]

Hm, it is confusing. For external user is the crates.io version easier to use. They have not to add libhermit as submodule. In addition, if they use libhermit as submodule, they are not able to publish an application at crates.io.

[jschwe]

I think it might be better to point an external user to a specific repository that provides a demo app using crates.io. That's basically what https://github.com/hermitcore/rusty-demo/ was meant for, wasn't it?
Regarding your second point, isn't Multiple locations for dependencies a solution for that problem?
Edit: Since I'm also a bit confused about the relations of the names between git repos and crates, Renaming dependencies might also be needed.

[stlankes]

Today, the branch devel isn't longer used. See #28