Hello,
Does it help if you replace occurrences of
#include <cerrno>
in kernel/fiasco/src/kern/ux with
extern __thread int errno;
Yes, that helps indeed but reveals the same problem with irq0.
So I made the above change in kernel/fiasco/src/lib/amm/errno.h which seems to fix this issue for all files. Thanks for the pointer.
If so, your header files in /usr/include don't match your libc.a
Hmm?! That sounds weird. I'm using of course the headers shipped with my glibc.
Stefan