Pekka Enberg
Pekka Enberg
We currently have `epoll_wait` and `epoll_ctl`, which are just enough to run an echo server. Let's replace this dummy implementation with something proper. The main issue to solve is mapping...
Let's implement support for path MTU discovery.
Commit https://github.com/manticoreos/manticore/commit/289bd8c5dff97384593aa14f7782887123bf8352 hard-coded IP address to default QEMU SLIRP guest address. Let's make it configurable.
Suggested by @duarten.
We currently have some virtual memory address ranges open-coded in `kernel/process.rs` (for event queue and I/O queue), and in `drivers/virtio/net.rs` (for virtio packet buffer). Let's implement a virtual memory allocator...
The `EventNotifier` interface was designed to be very generic, but now that `DeviceOps` has a `subscribe` interface, let's find a way to unify the two. We could maybe pass a...
The VirtIO 1.1 specification added support for packed virtqueues. Let's update the driver to support them: http://blog.vmsplice.net/2019/04/whats-new-in-virtio-11.html
Add support for performance profiling by implementing a device driver for hardware performance counters, and exporting the profile data out of the kernel in a format that is compatible with...
The kernel uses a traditional "higher-half kernel" approach, which means that every userspace process virtual address space has the kernel mapped in with appropriate protections. Unfortunately, the [Meltdown attack](https://meltdownattack.com/) is...