search

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
12 stars 39 forks source link

Add AArch64 container variants #65

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 1 year ago

Building seL4 projects and CAmkES projects should work now. The l4v container will build, but on ARM64 will be missing the mlton compiler.

Also includes CI setup (for PRs only for now) and README update.

Both, x64 and arm64 images should be working, but the setup is not yet a full multi-arch build where one container manifest contains both images at the same time. We can do that in a separate step.

Ivan-Velickovic commented 1 year ago

I suggest something like ./build.sh -b camkes -a arm64 for selecting the architecture, if -a is omitted then we select the host architecture like is already done in the patch.

lsf37 commented 4 months ago

I suggest something like ./build.sh -b camkes -a arm64 for selecting the architecture, if -a is omitted then we select the host architecture like is already done in the patch.

Sounds good.

Have rebased the branch and added a line to make stack available further down in the camkes.sh script. I'll have a look at making the rest conditional next.

Ivan-Velickovic commented 4 months ago

Before merging we should update https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles?tab=readme-ov-file#to-build-the-local-dockerfiles.

Ivan-Velickovic commented 4 months ago

I can't approve my own pull requests so I'll just leave a comment saying I don't see any issues with any of the changes.

lsf37 commented 4 months ago

I can't approve my own pull requests so I'll just leave a comment saying I don't see any issues with any of the changes.

Perfect. I'll remove the comment you mentioned above and merge when the tests pass.