Adam Schwalm

For safety, we should probably enable thin_check and try to have it auto-repair any corrupt metadata.

The fact that these will naturally corrupt if the drive reaches 100% capacity seems like it may make it impractical, but there may be a workaround

Just a few minor changes needed for the tests to build with a recent clang version (3.6.0 specifically).

Added setup.py

2

This PR adds the conventional `setup.py` file to make installation a bit easier. I believe this is entirely backwards compatible, so you can still run subbrute directly from the project...

Design per-module logging system

1

Ultimately, it would be very valuable to be able to turn on verbose debugging on a per-module basis. I don't have any design in mind, just that you could set...

Make log level configurable from config

2

Currently we set the log level in kmain: https://github.com/mythril-hypervisor/mythril/blob/master/mythril/src/kmain.rs#L189 We should allow this to be configured at run time. I'm open to suggestions about how to deal with the early...

While the TSC based timers should (typically) be more desirable, we probably also want to implement virtual HPET(s). This is an issue to track that general development.

Currently (I don't _think_) we can set a timer more accurately than 1 microsecond. We should change our timer handling to be accurate to nanoseconds, if possible. I suspect we...

Currently we always mask external interrupts in the hypervisor context. This simplifies the design, but can hurt latency characteristics for high priority interrupts. Consider the following situation with our current...

This a necessary step for decent real-time performance. I don't _believe_ we have any issues here aside from allocation, which we're moving toward removing, and RwLock. We will need to...