31 May
2021
31 May
'21
4:59 a.m.
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