Genode fixes (#8501)

* Genode fixes

- wrap strings in "Genode::Cstring" when logging
- define SIGABRT for Genode
- disable GCC -fstack-protector
- use log RPC for fatal messages
- add --os:genode build to appveyor
- define paramStr and paramCount

* Select fixups for Genode POSIX
This commit is contained in:
Emery Hemingway 2018-08-16 18:12:37 +02:00 • committed by Andreas Rumpf
commit 2da0341b4d
9 changed files with 42 additions and 18 deletions

View file

@ -255,9 +255,14 @@ vcc.cpp.options.size = "/O1"
tcc.options.always = "-w"
# Configuration for the Genode toolchain
amd64.genode.gcc.cpp.exe = "genode-x86-g++"
amd64.genode.gcc.exe = "genode-x86-gcc"
amd64.genode.gcc.path = "/usr/local/genode-gcc/bin"
arm.genode.gcc.cpp.exe = "genode-arm-g++"
arm.genode.gcc.exe = "genode-arm-gcc"
arm.genode.gcc.path = "/usr/local/genode-gcc/bin"
@if genode:
gcc.path = "/usr/local/genode-gcc/bin"
gcc.cpp.options.always = "-D__GENODE__ -fno-stack-protector"
@if i386 or amd64:
gcc.exe = "genode-x86-gcc"
gcc.cpp.exe = "genode-x86-g++"
@elif arm:
gcc.exe = "genode-arm-gcc"
gcc.cpp.exe = "genode-arm-g++"
@end
@end