Cocos HAL for Linux is framework for building custom in-enclave Linux distribution.
HAL uses Buildroot's External Tree mechanism for building custom distro:
git clone [email protected]:ultravioletrs/cocos.git
git clone [email protected]:buildroot/buildroot.git
cd buildroot
git checkout 2025.11
make BR2_EXTERNAL=../cocos/hal/linux cocos_defconfig
# Execute 'make menuconfig' only if you want to make additional configuration changes to Buildroot.
make menuconfig
make