My platform is Jetson Orin Nano 8GB Developer Kit (P3767-0005), with JetPack 5.1.5 and L4T R35.5.0.
I’m trying to build UEFI from source (tag r35.5.0) to customize the boot logo, but I get ModuleNotFoundError: No module named 'edk2toolext' when running python3 Platform/NVIDIA/Jetson/PlatformBuild.py --release.
I’ve already tried git clone --recursive and git submodule update --init --recursive, but edk2/BaseTools/Source/Python/edk2toolext/ does not exist.
Is edk2toolext supposed to be part of the edk2 submodule, or do I need to install it separately via pip?