search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

camkes: re-add lib32stdc++-10-dev #85

Closed lsf37 closed 2 months ago

lsf37 commented 3 months ago

ef7632ca29 removed lib32stdc++-10-dev, but it is still needed for the 32bit CamkES Linux VMM.

This should fix #84, although I haven't been able to try it out yet.

Ivan-Velickovic commented 3 months ago

Not sure if what will happen on the ARM64 container, maybe we need something like lib32stdc++-10-dev:i386?

lsf37 commented 3 months ago

Possible. I was hoping for the PR build to show me if that's working or not.

lsf37 commented 3 months ago

Hm, I'm starting to understand what you probably meant. The arm64 version of that package will probably install fine, but probably not help at all with building that x86 VMM. Not sure what the VMM build there actually expects.

Ivan-Velickovic commented 3 months ago

Hm, I'm starting to understand what you probably meant. The arm64 version of that package will probably install fine, but probably not help at all with building that x86 VMM. Not sure what the VMM build there actually expects.

It will probably be trying to cross compile for guest user-level programs which will be ia32-linux which is why it needs those headers.

lsf37 commented 2 months ago

It looks like lib32stdc++-10-dev:amd64 is the dependency we want.