mythril
mythril copied to clipboard
mythril-hypervisor
A hypervisor written in rust
# Summary When running `make qemu` from a Ubuntu 18.04 host we fail to find the RSDP. ``` [ 0.000000] MYTHRIL-INFO: tsc calibrate diff=5493740 (khz=3200699) [ 0.000001] MYTHRIL-INFO: Allocating from...
Currently we (mostly) just call CPUID in the host. This won't work for #13, so will need to actually emulate some of this. It will need to be done piecemeal,...
Currently the `do_mmio_write` and `do_mmio_read` functions don't support instructions that use the high-byte access for word-sized registers (like AH). We should fix this as it is possible for such an...
We need to emulate the local apic (and ioapic). This will likely be one of the more complicated parts of the hypervisor. Relevant kvm source: https://elixir.bootlin.com/linux/v4.19.83/source/arch/x86/kvm/lapic.c This is blocked by...
Now that we have a basic I/O APIC implementation we should be able to handle [Interrupt Source Override](https://github.com/mythril-hypervisor/mythril/blob/adam-dev/mythril_core/src/acpi/madt.rs#L142) MADT Interrupt Control Structure entries.
# Summary It would be helpful for debugging if our `grub.cfg` output to the serial console. # Details Our [grub.cfg](https://github.com/mythril-hypervisor/mythril/blob/master/scripts/grub.cfg) should enable output to the serial console as we only...
Parse and build a structure with the info in the PCI Express configuration space SDT (The signature should be MCFG). See section 4.1.2 in the [PCI 3.0 spec] and the...
# Summary Add a document that describes something like the following: - How to get your dev environment set up - How to find an issue - Things to do...
Use something like GitHub pages to host the output of `cargo doc`