Does anyone know where to download (or mirror) the docker image for edk2 debugging from... I am looking for the Workshop_Material, udk_gdb_script, MyUefiDriver.c Hello World files. 2018.osfc.io/uploads/talk/paper/15/Debugging_UEFI_Firmware_Linux_Workshop_OSFC_19.pdf github.com/Laurie0131/OSFC_Build_Workshop/blob/7515396dad2cc328aeb020729670e4adcf08a8a4/OSFC_Debug_Workshop_Slides.md (OCR version) The source code containing MyUefiDriverDriverBindingStart thanks