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.