mythril-hypervisor/mythril

Issues

• QEMU shutdown on panic

  #130 opened 4 years ago by sruffell
  1

• EPT Violation on system shutdown

  #96 opened 4 years ago by sruffell
  1

• Design per-module logging system

  #121 opened 4 years ago by ALSchwalm
  1

• Make log level configurable from config

  #117 opened 4 years ago by ALSchwalm
  2

• Use new asm! macro

  #51 opened 4 years ago by ALSchwalm
  0

• Implement virtual HPET

  #127 opened 4 years ago by ALSchwalm
  0

• Clean up constant usage in linux.rs

  #118 opened 4 years ago by ALSchwalm
  0

• Improve timer wheel interrupt scheduling

  #124 opened 4 years ago by ALSchwalm
  0

• Consider accepting interrupts while in VMX root context

  #123 opened 4 years ago by ALSchwalm
  0

• Remove any unbounded waits

  #122 opened 4 years ago by ALSchwalm
  0

• Investigate unchecked MSR access error

  #120 opened 4 years ago by ALSchwalm
  0

• Boot hangs for potentially long periods

  #119 opened 4 years ago by ALSchwalm
  0

• Create more accurate global allocation pool defintion

  #70 opened 4 years ago by ALSchwalm
  2

• Fix per-core variable usage when using higher core counts.

  #94 opened 4 years ago by ALSchwalm
  1

• Implement guest local apic timer

  #109 opened 4 years ago by ALSchwalm
  0

• Avoid most dynamic allocation

  #85 opened 4 years ago by ALSchwalm
  2

• Multi core guest support

  #87 opened 4 years ago by ALSchwalm
  0

• Avoid duplicate IPC messages for interrupt delivery

  #116 opened 4 years ago by ALSchwalm
  0

• Create guest AP cores

  #86 opened 4 years ago by ALSchwalm
  0

• device: EmulatedDevice::services should access the VM config

  #78 opened 4 years ago by dlrobertson
  1

• Implement AML parsing/execution/generation

  #112 opened 4 years ago by ALSchwalm
  0

• Fix PS2 keyboard support

  #111 opened 4 years ago by ALSchwalm
  0

• Implement guest x2apic support

  #110 opened 4 years ago by ALSchwalm
  0

• Restrict inter-core messaging where appropriate

  #108 opened 4 years ago by ALSchwalm
  0

• acpi: create a System Descriptor Table builder for the FADT

  #105 opened 4 years ago by dlrobertson
  0

• acpi: create a System Descriptor Table builder for the HPET

  #104 opened 4 years ago by dlrobertson
  0

• acpi: support encoding all Interrupt Control Structure variants

  #103 opened 4 years ago by dlrobertson
  0

• acpi: RSDP is not found when on Ubuntu 18.04

  #58 opened 5 years ago by dlrobertson
  12

• Reduce the use of 4096 as a magic value

  #77 opened 4 years ago by dlrobertson
  0

• acpi: manage the ACPI tables passed to the guest

  #69 opened 4 years ago by dlrobertson
  0

• Actually check formatting in CI

  #97 opened 4 years ago by ALSchwalm
  0

• Statically include seabios and the linux_dma loader

  #89 opened 4 years ago by ALSchwalm
  0

• Add interrupt range method to IoApic

  #88 opened 4 years ago by dlrobertson
  5

• Create standard interface for non-core components

  #80 opened 4 years ago by ALSchwalm
  1

• Fix entry failure with linux `alternative_instructions` function

  #47 opened 4 years ago by ALSchwalm
  1

• acpi: parse the FADT system description table

  #52 opened 4 years ago by dlrobertson
  1

• Docker make commands fail when user id is not 1000

  #73 opened 4 years ago by ALSchwalm
  1

• Support AH style registers for MMIO

  #71 opened 4 years ago by ALSchwalm
  1

• core: QemuFwCfg::next_file_selector includes non-file selectors

  #75 opened 4 years ago by dlrobertson
  2

• core: switch to num_enum for TryFromPrimitive

  #64 opened 4 years ago by dlrobertson
  1

• multiboot: check the RSDP checksum

  #72 opened 4 years ago by dlrobertson
  1

• ioapic: handle the interrupt source override

  #66 opened 5 years ago by dlrobertson
  0

• acpi: add support for the XSDT

  #54 opened 5 years ago by dlrobertson
  2

• scripts: enable the serial console for grub

  #60 opened 5 years ago by dlrobertson
  4

• acpi: parse the PCI Express configuration space system description table

  #61 opened 5 years ago by dlrobertson
  1

• acpi: parse the HPET system description table

  #53 opened 5 years ago by dlrobertson
  2

• Add a CONTRIBUTING.md

  #57 opened 5 years ago by dlrobertson
  2

• Use the RSDP multiboot tag to find the RSDP

  #44 opened 5 years ago by dlrobertson
  1

• memory: page fault on RSDP access with >= 2G memory

  #46 opened 5 years ago by dlrobertson
  1

• Create a documentation github pages site

  #45 opened 5 years ago by dlrobertson
  0