On Thu, Aug 5, 2021 at 2:20 PM Alexander Boettcher <alexander.boettcher at genode-labs.com> wrote: > pthread_attr_getstacksize and friends are supported on Genode indeed. that works just fine. Thanks! -- Dan Connolly http://www.madmode.com/