I am trying to compile sel4 demo for x86, and hit an error:
during compilation of [CC] kernel_final.s
in the process which give
/usr/local/genode/tool/current/bin/genode-x86-gcc -S -o kernel_final.s
kernel_final.c
it generates asm error
error: impossible constraint in ‘asm’!
Any suggestions?
Log below
[CC] kernel_final.s
In file included from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/assert.h:15,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/arch/x86/arch/types.h:15,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/basic_types.h:15,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/types.h:14,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/src/api/faults.c:14:
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/util.h:89:7:
warning: conflicting types for built-in function ‘memset’
[-Wbuiltin-declaration-mismatch]
void *memset(void *s, unsigned long c, unsigned long n) VISIBLE;
^~~~~~
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/util.h:91:31:
warning: conflicting types for built-in function ‘strncmp’
[-Wbuiltin-declaration-mismatch]
int PURE strncmp(const char *s1, const char *s2, int n);
^~~~~~~
In file included from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/api/types.h:23,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/compound_types.h:15,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/types.h:15,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/src/api/faults.c:14:
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/machine/io.h:35:6:
warning: conflicting types for built-in function ‘putchar’
[-Wbuiltin-declaration-mismatch]
void putchar(char c);
^~~~~~~
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/machine/io.h:38:8:
warning: conflicting types for built-in function ‘puts’
[-Wbuiltin-declaration-mismatch]
word_t puts(const char *s) VISIBLE;
^~~~
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/src/machine/io.c:154:1:
warning: conflicting types for built-in function ‘isdigit’
[-Wbuiltin-declaration-mismatch]
isdigit(char c)
^~~~~~~
In file included from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/arch/x86/arch/kernel/x2apic.h:17,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/arch/x86/arch/kernel/apic.h:18,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/plat/pc99/plat/machine/interrupt.h:20,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/plat/pc99/plat/machine/hardware.h:14,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/machine.h:18,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/api/syscall.h:15,
from
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/src/api/faults.c:16:
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/arch/x86/arch/machine.h:
In function ‘x86_flush_rsb’:
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/arch/x86/arch/machine.h:348:5:
warning: asm operand 1 probably doesn’t match constraints
asm volatile(
^~~~~~~
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/include/arch/x86/arch/machine.h:348:5:
error: impossible constraint in ‘asm’
/home/tor/gen/20.05-tor/contrib/sel4-7935487f91a31c0cd8aaf09278f6312af56bb935/src/kernel/sel4/Makefile:653:
recipe for target 'kernel_final.s' failed
make[4]: *** [kernel_final.s] Error 1
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
