seL4 / docs

This is the source of the seL4 docs.

Home Page:https://docs.sel4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Intermittent dead links on Hardware/sabreLite.html page

kent-mcleod opened this issue · comments

Links for patches or binaries for setting up a sabre u-boot image initially return 404 and only work after waiting a short while:

They 404'd initially, and then started resolving once I was writing up this issue.

They worked immediately for me, might have been something temporary. @wom-bat could you have a look if there is any reason why those would return a 404 on sel4.systems? (on 26 Oct, just before 8am)

Someone mentioned to me that it had been 404'ing for them for a while. It 404'd for me a few times this morning but it was up again when I created the issue. It seemed like there was some backend service that came online in response to my initial 404, but it took a few minutes to do so, and then has been online since.

Can't see any record of the 404 in the logs., only successful fetches of these URIs.

I do see a whole series of attempts to get the same patchfile just before 8am. From our end, each gives a 200 (success) response. Are you using a proxy?

I do still have a tab open with a 403 error which may be what I had seen. So maybe there was some sort of https redirect or I miscopied a URL. Maybe it was always working. Thanks for looking into it.