diff --git a/.github/workflows/microv.yml b/.github/workflows/microv.yml index d17d8e00a..f77944c55 100644 --- a/.github/workflows/microv.yml +++ b/.github/workflows/microv.yml @@ -76,6 +76,40 @@ jobs: path: | build/prefixes/x86_64-efi-pe/bin/bareflank.efi + build-efi-with-readconsole: + runs-on: ubuntu-20.04 + steps: + - uses: actions/checkout@v2 + with: + path: microv + + - name: Setup + run: | + sudo apt-get update + sudo apt-get install -y python build-essential linux-headers-$(uname -r) nasm clang cmake libelf-dev + shell: bash + + - name: Build EFI with Xen readconsole + run: | + mkdir build && cd build + cp ../microv/scripts/cmake/config/config.cmake .. + echo 'set(ENABLE_BUILD_USERSPACE OFF)' >> ../config.cmake + echo 'set(ENABLE_BUILD_VMM ON)' >> ../config.cmake + echo 'set(ENABLE_BUILD_EFI ON)' >> ../config.cmake + echo 'set(XEN_REGISTER_BASED_ABI ON)' >> ../config.cmake + echo 'set(ENABLE_SERIAL OFF)' >> ../config.cmake + echo 'set(XEN_READCONSOLE_ROOTVM ON)' >> ../config.cmake + cmake ../microv/deps/hypervisor -DCONFIG=../config.cmake -DCMAKE_CXX_FLAGS="--verbose " + make + shell: bash + + - uses: actions/upload-artifact@v2 + with: + name: microv_efi_xen_readconsole + path: | + build/prefixes/x86_64-efi-pe/bin/bareflank.efi + + build-efi-debug: runs-on: ubuntu-20.04 steps: