18 Dec
2012
18 Dec
'12
9:29 a.m.
Hi Daniel,
the Fiasco.OC-specific implementation is indeed missing. It should go to 'base-foc/src/core/include/platform.h'. Apparently, we have used the 'affinity' function but not the 'num_cpus' function in our L4Linux support code. So the missing 'num_cpus' slipped through. Sorry about that. I have opened an issue:
https://github.com/genodelabs/genode/issues/578
Thanks for reporting!
Norman
--
Dr.-Ing. Norman Feske
Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth