33 lines
1.2 KiB
Diff
33 lines
1.2 KiB
Diff
diff -ur a/Configurations/10-main.conf b/Configurations/10-main.conf
|
|
--- a/Configurations/10-main.conf 2019-09-10 18:43:07.000000000 +0530
|
|
+++ b/Configurations/10-main.conf 2020-05-27 16:03:09.416462556 +0530
|
|
@@ -1559,6 +1559,28 @@
|
|
perlasm_scheme => "macosx",
|
|
},
|
|
|
|
+##### Genode
|
|
+ "Genode-x86_32" => {
|
|
+ inherit_from => [ "BASE_unix" ],
|
|
+ CC => "cc",
|
|
+ CFLAGS => picker(default => "-Wall",
|
|
+ debug => "-O0 -g",
|
|
+ release => "-O3"),
|
|
+ cppflags => threads("-D_THREAD_SAFE -D_REENTRANT"),
|
|
+ bn_ops => "BN_LLONG",
|
|
+ thread_scheme => "pthreads",
|
|
+ dso_scheme => "dlfcn",
|
|
+ shared_target => "linux-shared",
|
|
+ shared_cflag => "-fPIC",
|
|
+ shared_extension => ".so",
|
|
+ perlasm_scheme => "elf",
|
|
+ },
|
|
+ "Genode-x86_64" => {
|
|
+ inherit_from => [ "Genode-x86_32", asm("x86_64_asm") ],
|
|
+ lib_cppflags => add("-DL_ENDIAN"),
|
|
+ bn_ops => "SIXTY_FOUR_BIT_LONG",
|
|
+ },
|
|
+
|
|
##### GNU Hurd
|
|
"hurd-x86" => {
|
|
inherit_from => [ "BASE_unix" ],
|