Sure Axel. Thank you for the advise.
El dom., 30 may. 2021 21:02, Axel Heider
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