Is it possible to purchase a kernel?

[fu11m00n]

Salutations...

Trying to create an Aarch64 (ARM) version of Porteus has consumed all of the oxygen and brain cells I can devote.
Now I find myself @ the beginning of a very long learning curve as far as kernels are concerned.

So I'm trying to look for the easy way out (for my x86_64 build). Either by purchase... donation or bounty.
I'm mainly interested in a SELinux kernel. Also "huge pages" functionality.

And perhaps preempt-rt or the "Nest" scheduler.
https://www.youtube.com/watch?v=s5-UbeuJfbk

Thanks in advance for any solutions.