tatetian16

3 ms·

1. 1.▲
   by tatetian16 1y ago

   > 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 ones in (safe) Rus
2. 2.▲
   by tatetian16 1y ago

   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 we can reach that mil
3. 3.▲
   by tatetian16 1y ago

   Yes, that is correct.
4. 4.▲
   by tatetian16 1y ago

   > 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 interpreted in the
5. 5.▲
   by tatetian16 1y ago

   I am the author of this post and also the first co-author of the ATC'25 paper. Ask me anything :)
6. 6.▲
   by tatetian16 2y ago

   https://github.com/asterinas/asterinas Asterinas is such an experiment. Purely written in Rust and Linux ABI compatible.