> keeping the driver interface unstable is his moat Maybe we will have young and hungry AI-for-system researchers who would like to take on the job of developing AI agents that translate Linux drivers in C to Asterinas…
As a relatively new kernel, Asterinas still has a lot of rough edges for general-purpose use. That said, if the goal is to run targeted, real-world services efficiently and reliably, the gap is not that large—I believe…
Yes, that is correct.
> if an unprivileged task is unsafe, it's still unprivileged. Meanwhile the unsafe code that requires extra verification... I am sorry that the doc is a kind of misleading. I wrote that... The statement need to be…
I am the author of this post and also the first co-author of the ATC'25 paper. Ask me anything :)
https://github.com/asterinas/asterinas Asterinas is such an experiment. Purely written in Rust and Linux ABI compatible.
> keeping the driver interface unstable is his moat Maybe we will have young and hungry AI-for-system researchers who would like to take on the job of developing AI agents that translate Linux drivers in C to Asterinas…
As a relatively new kernel, Asterinas still has a lot of rough edges for general-purpose use. That said, if the goal is to run targeted, real-world services efficiently and reliably, the gap is not that large—I believe…
Yes, that is correct.
> if an unprivileged task is unsafe, it's still unprivileged. Meanwhile the unsafe code that requires extra verification... I am sorry that the doc is a kind of misleading. I wrote that... The statement need to be…
I am the author of this post and also the first co-author of the ATC'25 paper. Ask me anything :)
https://github.com/asterinas/asterinas Asterinas is such an experiment. Purely written in Rust and Linux ABI compatible.