From 208853abdfea482169e79c2312319627edbe5502 Mon Sep 17 00:00:00 2001 From: Adam Steen Date: Sun, 12 Aug 2018 11:01:47 +0800 Subject: [PATCH] Update OpenBSD requirements to 6.4 --- docs/building.md | 3 +-- ukvm/ukvm-configure | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/building.md b/docs/building.md index da2df3f1..7c5a5634 100644 --- a/docs/building.md +++ b/docs/building.md @@ -54,8 +54,7 @@ Experimental: will need hardware capable of running a recent (v4.14+) 64-bit mainline kernel and a 64-bit Linux distribution. * _ukvm_: OpenBSD vmm, using ukvm as a monitor, on the x86\_64 architecture. - OpenBSD 6.3 is known to work, however for correct operation with downstream - unikernel build systems, as of June 2018 OpenBSD-current is required. + OpenBSD 6.4 or later is required. * _muen_: The Muen Separation Kernel, on the x86\_64 architecture. Please see this [article](https://muen.sk/articles.html#mirageos-unikernels) for Muen-specific instructions. diff --git a/ukvm/ukvm-configure b/ukvm/ukvm-configure index 9e502de1..99bbe4f9 100755 --- a/ukvm/ukvm-configure +++ b/ukvm/ukvm-configure @@ -105,7 +105,7 @@ case ${TARGET} in add_obj ukvm_hv_freebsd.o ukvm_hv_freebsd_x86_64.o ukvm_cpu_x86_64.o add_header ukvm_hv_freebsd.h ukvm_cpu_x86_64.h ;; - amd64-*-openbsd6.[3-9]) + amd64-*-openbsd6.[4-9]) add_obj ukvm_hv_openbsd.o ukvm_hv_openbsd_x86_64.o ukvm_cpu_x86_64.o add_header ukvm_hv_openbsd.h ukvm_cpu_x86_64.h ;;