Commit graph

22 commits

Author SHA1 Message Date
Rian Quinn
91886c75d9 Adds an example extension written in Rust and fixes a number of bugs
This patch:
- Adds a complete extension written in Rust, with all of the build
  system logic to support Rust development as well.
- Fixes an issues on Intel systems where the MSR bitmaps were not
  set up properly.
- Fixes a number of issues with UEFI.
- Fixes a number of issues with Windows, including a BSOD issue
  with narrow contracts.
2021-10-21 08:53:22 -06:00
Christopher Pelloux
d2030b602d Loader: Build the arch target defined by CMake
This patch fixes an issue that could arise if the following conditions
are met:
- set HYPERVISOR_TARGET_ARCH to Intel in CMake
- build the loader for Linux on an AMD machine
- On AMD, `make driver_quick`, then `make start` -> computer hangs

This occurs because the loader is built using the architecture of the
build machine while the hypervisor is built using the target arch set
during cmake configuration which can be different. The cpu checks are
done inside the Linux driver which will succeed and load the hypervisor
which is using Intel specific instructions causing the machine to hang
when it tries to start on AMD.

We now use the cmake HYPERVISOR_TARGET_ARCH variable in Makefile which
will keep the hypervisor and the Linux driver in sync.
2021-10-17 23:23:04 -04:00
Rian Quinn
dcbe19368c Adds missing unit tests for the loader
This patch:
- Completes the unit tests for the loader
- Fixes issues with Clang Tidy
2021-10-15 08:07:34 -06:00
Rian Quinn
6daaff26e5 Completes all of the unit tests for the VMM
This patch:
- Completes all of the unit tests for the VMM
- Completes all of the unit tests for the syscall library
- Compleses all of the unit tests for the runtime library
- Completes all of the unit tests for the lib library
- Fixes a number of bugs identified during testing.
2021-10-11 15:45:29 -06:00
Rian Quinn
fd7e6bee3c Fix fail handler logic, TLB flushing, Windows support
This patch:
- Fixes some bugs with Windows. It is working again
- Fixes a long-time issue with Linux on some Intel CPUs that
  would cause any attempt to load the driver to crash due to
  the GDT being marked as read only, and the Linux APIs
  for this will triple fault your system if these APIs are
  not used very quickly (a bug that probably should be
  reported to Linux).
- Fixes issues with how the fail logic worked. You can not
  fail inside the fail handler. New integration tests were
  added to ensure that this case works as expected. In
  general, the hypervisor has less assembly, and should be
  more robust as a result.
- Fixes how TLB flushing is done, and adds TLB flushing APIs.
  A future PR will use this code to implement free_page and
  free_huge.
- Continued work on removing the heap logic that is no longer
  supported.
2021-10-05 16:43:10 -06:00
Rian Quinn
77c38d9ec7 Add missing registers and fixes bug with alloc_page/alloc_huge
This patch:
- Adds the missing registers CR8, DR0, DR1, DR2, DR3 and XCR0
  to the microkernel. These registers are now managed by the
  microkernel for all extensions.
- Fixes an issue with alloc_page and alloc_huge where allocations
  were not reflected to all of the direct maps.
- Fixes an issue with fail() not sending the correct arguments.
  Further testing and debugging is needed for this.
2021-09-28 08:11:48 -06:00
Rian Quinn
cb16e8eafc Fixes bugs with paging, and removes IA32 to make Intel/AMD consistent 2021-09-18 18:54:08 -06:00
Rian Quinn
76fabc5f47 Move the IOCTL logic to Lib so that it can be used by MicroV 2021-09-12 19:20:59 -06:00
Rian Quinn
06cddd8f50 Small bug fixes to support MicroV 2021-09-10 19:49:09 -06:00
Rian Quinn
6850437bb9 Updates to match the changes to the BSL
This patch addresses the following:
- Adds a number of addition hypercall that are needed for MicroV
- Updates the code to support the changes made to the BSL including
  better checking of safe integrals and narrow contracts
- Adds a lib folder to contain code shared between the kernel and
  extensions where possible.
- Minor initial additions for Rust. Still lots of work to do here
2021-09-08 15:47:38 -06:00
Rian Quinn
23a8627ab7 Minor bug fixes 2021-07-26 14:31:58 -06:00
Rian Quinn
0c1fe2ce80 Fixes bugs with Clang Tidy and adds some more unit tests 2021-07-15 15:18:01 -06:00
Tee-Kiah Chia
fec39b5544 UEFI: use EFI_LOADED_IMAGE_PROTOCOL to locate boot volume
Some UEFI environments lack EFI_SHELL_PROTOCOL, but still
implement EFI_LOADED_IMAGE_PROTOCOL.
2021-07-15 13:15:55 +00:00
Rian Quinn
f5f39193e5 Unit/Integration Test and ARM support changes
This patch contains a massive number of changes that are the
result of finally adding unit/integration tests and ARM
support. ARM support moved a number of files that were duplicates
while the unit and integration tests identified a massive number
of structural issues. The cost of waiting so long to finally
add tests.
2021-06-29 20:30:53 -06:00
Rian Quinn
dc5975a8f2 First VMExit Failure Logic
This patch cleans up the first VMExit failure logic so that
it actually makes sense and works as intended. Now, if you
have an exception, or error on your first exit, the hypervior
will gracefully exit instead of halting, or pretending to
gracefully exit when in fact it was just getting luck.
2021-03-19 13:43:13 -06:00
Rian Quinn
76cdd55116 Fix Windows IOCTL Interface
This patch converts the core scheduling logic to the DPC interface
which prevents random crashes if the core is changed after affinity
is set. It also adds MDL page locks to the copy to/from user logic.
2021-03-19 09:55:02 -06:00
Rian Quinn
47f23f1841 Add UEFI suppport
This patch adds support for UEFI, as well as some additional
cleanup tasks including:
- compressing the TLS block
- build system fixes
- some todos that were needed to support UEFI
- addresses some bugs with the GDT TSS busy bit
2021-03-17 08:04:53 -06:00
Rian Quinn
5c2f21b427 add support for more than 64 cores 2021-02-24 08:03:23 -07:00
Rian Quinn
0a771714a3 Add Windows Support
This patch provides initial support for Windows. It also addresses
some issues with transient exeuction attacks (specifically straight
line attacks)
2021-02-19 13:14:18 -07:00
Rian Quinn
d87a954890 windows cross compilation support 2021-02-08 09:51:12 -07:00
Rian Quinn
33e6e85ce5 fixes for CI and move IOCTL/IFMAP to hypervisor 2021-02-05 07:02:50 -07:00
Rian Quinn
7e3f101819 Bareflank 3.0 Initial Upload
This patch provides the initial upload for Bareflank 3.0.
It should be noted that this initial upload does not contain
all of the intended features for 3.0, and instead provides
a starting point for further development and review.
2021-01-29 08:01:19 -07:00