Merge pull request #270 from adamsteen/openbsd

Update OpenBSD requirements to 6.4
Solo5 · Aug 12, 2018 · 6ff37b5 · 6ff37b5
2 parents 166d790 + 208853a
commit 6ff37b5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -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
         ;;