On Tue, 20 Aug 2019 23:14:35 +0200 jose.march...@oracle.com (Jose E. Marchesi) wrote:
> The kernel verifier doesn't allow backward jumps.
>
> This may change at some point. There is much discussion among the
> kernel hackers in whether it is possible to allow bounded loops in a
> safe way. In that case, some of the restrictions may be lifted.
Actually, bounded loops are supported and allowed in the 5.3 kernel.
https://lwn.net/Articles/794934/
jon
