SDK for building and maintaining TrenchBoot patches for GRUB2, Xen and Linux kernel.
Clone GRUB2 repository:
git clone https://github.com/TrenchBoot/grub.git -b intel-txt-mb2
Run TrenchBoot SDK container:
docker run --rm -it -v $PWD/grub:/home/trenchboot/grub \
-w /home/trenchboot/grub \
ghcr.io/trenchboot/trenchboot-sdk:master /bin/bash
Prepare GRUB2 compilation:
./bootstrap && ./autogen.sh
Create build directory:
mkdir -p build && cd build
Configure:
../configure --disable-werror --prefix=$PWD/local
Compile:
make
Clone Xen repository:
git clone https://github.com/3mdeb/xen.git -b tb-xen-txt
Run TrenchBoot SDK container:
docker run --rm -it -v $PWD/xen:/home/trenchboot/xen \
-w /home/trenchboot/xen \
ghcr.io/trenchboot/trenchboot-sdk:master /bin/bash
Compile:
make build-xen