diff options
| author | Raito Bezarius <masterancpp@gmail.com> | 2023-04-15 17:23:24 +0200 |
|---|---|---|
| committer | Raito Bezarius <masterancpp@gmail.com> | 2023-04-15 17:30:45 +0200 |
| commit | 619a58beb54eda81ac2d7b56935efee221326713 (patch) | |
| tree | 4e586de27241ea5f8fe0576212bfb43ba092d115 | |
| parent | lanzaboote: init at 0.3.0 (diff) | |
| download | nixpkgs-origin/uefi-systems.tar.gz | |
| -rw-r--r-- | lib/systems/parse.nix | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/lib/systems/parse.nix b/lib/systems/parse.nix index 75dce98e3398..638f7f001b42 100644 --- a/lib/systems/parse.nix +++ b/lib/systems/parse.nix @@ -329,6 +329,16 @@ rec { # Other architectures should use ELF in embedded situations. elf = {}; + # Not really an ABI, rather an object format. + coff = { + assertions = [ + { assertion = platform: platform.isWindows || platform.isUefi; + message = '' + The "COFF" object file format is for Windows or UEFI targets. + ''; + } + ]; + }; androideabi = {}; android = { @@ -377,12 +387,10 @@ rec { uclibceabihf = { float = "hard"; }; uclibc = {}; - # object format, not an abi... - coff = {}; # TODO: probably assert win32? - unknown = {}; }; + ################################################################################ types.parsedPlatform = mkOptionType { |
