On Tue, Jun 02, 2020 at 09:38:54AM +0200, Yann Sionneau wrote:
Hello Christoph,
Thanks for your quick answer!
I agree, that sounds logical. We will start Linux kernel upstream process as
soon as possible.
As a side note, our kernel is already on GitHub:
https://github.com/kalray/linux_coolidge
Which is not a very helpful place - no one cares about random private
repos hidden somewhere on weird hosting sites to start with, but more
importantly the user space ABI is not stable until we had a Linux
release with a new port.