Programming UEFI for dummies What I have learned while tweaking FreePascal to output UEFI binaries