From: Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx> Date: Wed, 2 Sep 2020 13:32:06 -0700 > On Wed, Sep 02, 2020 at 10:19:58PM +0200, Jose E. Marchesi wrote: >> >> As such, the property of being verifiable is irrelevant. > > No. It's a fundamental property of BPF. > If it's not verifiable it's not BPF. It's not xBPF either. > Please call it something else and don't confuse people that your ISA > has any overlap with BPF. It doesn't. It's not verifiable. I have to agree with Alexei here. You are trying to create something which is not fundamentally BPF and it will create a lot of confusion and hardship on people who are working on BPF when you publish binaries with this machine type. Please don't do stuff like this, thank you.