2
0
Fork 0
Genode Packages collection https://git.sr.ht/~ehmry/genodepkgs/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
genodepkgs/platform.nix

22 lines
502 B

# SPDX-FileCopyrightText: Emery Hemingway
#
# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
3 years ago
{ platform, execFormats, ... }:
let
f = { isGenode ? false, ... }:
if isGenode then {
uname.system = "Genode";
useLLVM = true;
kernel = {
name = "genode";
execFormat = execFormats.elf;
families = { };
};
abi = "elf";
libc = "genodelibc";
extensions = { executable = ""; sharedLibrary = ".lib.so"; };
} else { };
in f platform