Seiya Nuta

I appreciate but let me draw by myself.

Fantastic! I'll check this tomorrow 😃

The first step will be an ext2 reader. You should use a trait to access disks to make it portable and testable as a simple Rust application. For example ,...

You don't need to provide the implementation of a trait in no_std until you port the library into Kerla. In the library development, as shown in the code above, you...

IIRC, `#![cfg_attr(not(test), no_std)]` does not enable`no_std` mode in testing (`cargo test`).

> I'm not the expert of lifetimes, but I read this a problem with the lifetime of the closure as argument of traverse(). Any suggestions welcome. I haven't tested locally...

## Requirements - No memory copies (obviously). - No additional kernel support: keep it simple! - Seamless integration with the current IPC: transparently switch to zero-copy IPC if possible. -...

Hi @arpitvaghela. Here's my comments and suggestions: First, you don't need to consider the compatibility with the existing IPC APIs. It is hard to use zero-copy IPC *transparently* from the...

Yes, we can implement such a feature in vm server.

## TODO - [x] Take a look at priority inheritance in IPC fast path - [x] Investigate user-level scheduling at seL4