About seL4 Developer Kit

Hi All,
When I was studying the 4.2. Build Environment Setup section in the developer kit, I always got a message “Unauthorized” when I executed the “make pull IMAGE=dep” command. I set up PAT on GitHub, enabled the read:package permission, and successfully logged in to ghcr.io with docker using the set PAT. However, after executing the command, I still got a message “Denied”. What is the reason? How can I solve this problem? ? Thanks.

Do you mean the Capgemini seL4 developer kit? That’s not part of the seL4 foundation and we don’t support it. You probably need to contact one of the authors instead.

Thanks for your reply, I think it’s not the the Capgemini seL4. The document url is https://sel4devkit.github.io/, and the github repos: seL4 Developer Kit · GitHub.

I think that is the NCSC funded documentation written by Capgemini. For posteriority, see also Trustworthy Systems Mattermost.

1 Like