trenchboot-sdk

SDK for building and maintaining TrenchBoot patches for GRUB2, Xen and Linux kernel.

How to compile most recent TrenchBoot patches

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