Problems with compilation Clip OS v4

Hey there, I know this topic is a bit old but I have some questions about clipos V4. I downloaded the clip SDK from github and installed it on a Linux machine (Debian 9) . I used the chroot command to be in the SDK. However, I’m having some problems compiling the CLIP kernel:

This is what’s in my /opt/clip-int/ folder:

However I can’t find the portage-overlay-extra on the github archive of the project. I also followed the ANSSI documentation about clipos4 installation.

Is it possible to run the vm clip with both cages in the chrooted sdk?

Thank you in advance!