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 ------------------------------------------------------------------------------ LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
