| # |
| # Copyright 2017, Data61 |
| # Commonwealth Scientific and Industrial Research Organisation (CSIRO) |
| # ABN 41 687 119 230. |
| # |
| # This software may be distributed and modified according to the terms of |
| # the GNU General Public License version 2. Note that NO WARRANTY is provided. |
| # See "LICENSE_GPLv2.txt" for details. |
| # |
| # @TAG(DATA61_GPL) |
| # |
| |
| menuconfig LIB_SEL4_VMM |
| bool "seL4 VMM Library" |
| depends on LIB_SEL4 && HAVE_LIBC && LIB_PCI && LIB_CPIO && LIB_SEL4_ALLOCMAN |
| select HAVE_SEL4_LIBS |
| default y |
| help |
| VMM library on sel4. |
| |
| config VMM_VESA_FRAMEBUFFER |
| bool "Expose VESA Frame Buffer" |
| depends on LIB_SEL4_VMM |
| default y |
| help |
| Support for mapping the VESA frame buffer frames into the guest OS. |
| This option is useful for working around non-working video drivers otherwise, |
| due to missing features or such. |
| |
| config LIB_VMM_DEBUG |
| bool "Enable VMM debug output" |
| depends on LIB_SEL4_VMM |
| default true |
| |
| config LIB_VMM_DEBUG_LEVEL |
| int "VMM Debug Output" |
| depends on LIB_VMM_DEBUG |
| default 3 |
| help |
| Debug verbosity level. |
| 5 levels for debug messages: |
| 0: Always printout |
| 1: Main entry point in a module |
| 2: 2nd level entry point in a module |
| 3: Main entry point of a function |
| 4: Details inside a function |
| |
| config LIB_VMM_VMX_TIMER_DEBUG |
| bool "Use VMX Pre-Emption timer for debugging" |
| depends on LIB_VMM_DEBUG |
| default false |
| help |
| Will cause a regular vmexit to happen based on VMX pre-emption |
| timer. At each exit the guest state will be printed out. This |
| can be used to aid debugging when running a guest causes nothing |
| to appear to happen |
| |
| config LIB_VMM_VMX_TIMER_TIMEOUT |
| int "Cycles between VMX timer pre-emptions" |
| depends on LIB_VMM_VMX_TIMER_DEBUG |
| default 4000 |
| help |
| Cycles between timer exits. Time spent loading the VMCS context |
| count, so setting this too low may result in the guest making |
| no progress |
| |
| config VMM_IGNORE_EPT_VIOLATION |
| bool "Ignore EPT Violations" |
| depends on LIB_SEL4_VMM |
| default n |
| help |
| If set then EPT faults will be ignored and the guest will be resumed |
