a99193ad90
With this patch, the 'futex' syscall gets used for blocking and unblocking of threads in the Linux-specific lock implementation. The 'Native_thread_id' type, which was previously used in the lock-internal 'Applicant' class to identify a thread to be woken up, was not suitable anymore for implementing this change. With this patch, the 'Thread_base*' type gets used instead, which also has the positive effect of making the public 'cancelable_lock.h' header file platform-independent. Fixes #646. |
||
|---|---|---|
| .. | ||
| config | ||
| doc | ||
| etc | ||
| include | ||
| lib/mk | ||
| mk | ||
| run | ||
| src | ||
| Makefile | ||
| README | ||
README
This repository contains the L4ka::Pistachio-specific implementation of Genode. Please see the documentation at 'base-pistachio/doc/pistachio.txt' for further instructions on building and using Genode on the L4ka::Pistachio kernel.