Re: stop thread running in fiasco/L4