kernel Publish API as C header

We could use Diplomat

Nov 03 '22 12:11 mkroening

There is also https://github.com/getditto/safer_ffi

Dec 09 '22 17:12 mkroening

Hi Martin,

I'm taking a Virtualization course at UT Austin and we've been asked to contribute to open-source virtualization repositories for one of our projects. Could I take a shot at resolving this issue?

Mar 28 '23 19:03 nathanwhyte

I don't think, this is a good first issue.

We'll have to decide first, how exactly this would make sense for us across the different projects of the kernel, the Rust userspace and the C userspace. I tried this once, and the generated headers were not really good, honestly. So in the end, we might be better off by writing manual headers for C by hand and at that point, we might as well do it in the C userspace repo alltogether and keep things as they are.

Mar 28 '23 20:03 mkroening

I understand, thanks for the quick response.

Mar 28 '23 20:03 nathanwhyte

Are there issues that you would consider beginner issues that aren't marked as one? I'd like to contribute more, but it looks like either myself or my classmates have claimed all of the beginner issues.

Mar 28 '23 21:03 nathanwhyte

Hmm, good question. I went through all the issues and tagged some more.

Mar 28 '23 22:03 mkroening