This Docker image is meant to be used to build a Let's Trust TPM enabled raspberry Pi Linux Kernel.

First of all, build the image:

sudo docker build -t rpi_tpm_kernel_builder .

Afterwards adapt the paths to which your system has mounted the SD card partitions (you can find them using lsblk):

SDCARD_BOOT_PATH=/media/user/boot
SDCARD_ROOT_PATH=/media/user/root

and run

sudo docker run -it --volume $SDCARD_BOOT_PATH:/media/boot --volume $SDCARD_ROOT_PATH:/media/root rpi_tpm_kernel_builder