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>
diff --git a/WORKSPACE b/WORKSPACE
index 4ccbb9e..5462219 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -209,6 +209,13 @@
version = "1.2.55",
)
+load("//third_party/gnuefi:external.bzl", "gnuefi_external")
+
+gnuefi_external(
+ name = "gnuefi",
+ version = "3.0.14",
+)
+
register_toolchains("//:host_python")
# python dependencies. Currently we don't use Python, but some of our deps (ie. gvisor) do expect @pydeps// to exist, even