Ok, i'm sorry i have to put this up here, but i seem to be unable to find the information i'm looking for. Could someone please point me to some reference documentation about EFI "printf" format reference? I mean it's not like regular printf, as it supports %g as GUID, and prints a question mark for %llu. My best Google-bet was "efi" "print" "format" reference "%g" "%s" "%a" "%d", but it did not gave any usable results. Other search terms came up with some color settings of some printers. What did i do wrong? How can anyone find this info? Thanks.