Stefan Lankes

I have to revise it.

It isn't finished and in the beginning. At the end it should work like https://gist.github.com/mcastelino/9a57d00ccf245b98de2129f0efe39857

@mkroening The CI error doesn't depend to this PR

@MahmoudAGH Do I rebase your PR correctly?

Hm, you are right. I will investigate the reasons for this behavior

In principle not. At first, we want to upstream the current version into mio (see tokio-rs/mio#1775). To simplify it, we wrote a PR for libc (see rust-lang/libc#3724). Afterwards, we will...

We map more or less everything at boot time. Only the stack will be mapped on demand (4K pages). For the heap, we try to use 1G pages as much...

Ah, you want to have a guarantee that the data is stored on a certain page size. Hm, currently, you have to assume 4K pages. I will think about. Maybe...

Excuse me, I oversaw this issue. I know this issue. Currently, we don't have the time to support Xen.

Yeah, we have to describe it better. It exists sone environment variables to define the static network configuration. See https://github.com/hermit-os/kernel/blob/main/src/executor/device.rs#L95