mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-03 01:21:43 +00:00
In the final version, the 'socket' will be the only member to remain in the 'Dst' time. In the transition phase, we store both the old 'tid' and the 'socket'.
This repository contains the Linux-specific implementation of Genode.