tree c4afb8f42d8856bca4cafedbd022f9b61967022b
parent 605efbe76a4317b50bc5499041784f303a9bdc37
author Lorenz Brun <lorenz@monogon.tech> 1632834280 +0200
committer Lorenz Brun <lorenz@monogon.tech> 1633007683 +0000

third_party/gnuefi: init

Adds GNU EFI, not for the hacky trampolines but for the EFI headers
and the standard library.
The "canonical" EDK II headers are extremely hard to use so almost
everyone not inside the EDK II uses these.

Change-Id: I1189bb4c0897e9fed0da3e6471092d7fb09646cb
Reviewed-on: https://review.monogon.dev/c/monogon/+/334
Reviewed-by: Sergiusz Bazanski <serge@monogon.tech>