Hugo, > I just did a commit: > https://github.com/hugusmaximus/sel4webserver/blob/master/README.md > so people can test this project without having to use a Odroid-XU4 (myself > I had this problem...). > ... > Having said that, I excuse myself in advance for any mistakes in the pull > request process as this is the first time in my life doing this, so any > suggestion and corrections will be welcome.
Thanks very much for that contribution. I'd suggest you make a branch in your forked repo now that contains the commit and then do a pull request from that branch to https://github.com/seL4/sel4webserver. Further discussion about the content can happen on this pull request, which is a bit more convenient than doing it here in the mailing list. Axel _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
