From 87022ea3b98875d432f1637f5db56b92ac35e058 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Fri, 26 Jun 2020 19:15:16 -0500
Subject: [PATCH] unix.linux.proc: Add cpuinfo flag "vmx flags".

Fixes #2315.

I'm not sure how this would have stopped a vocabulary from loading.

cpuinfo flags are in linux kernel repo:
 arch/x86/kernel/cpu/proc.c
---
 basis/unix/linux/proc/proc.factor | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/basis/unix/linux/proc/proc.factor b/basis/unix/linux/proc/proc.factor
index f952982601..bf4b7f76b1 100644
--- a/basis/unix/linux/proc/proc.factor
+++ b/basis/unix/linux/proc/proc.factor
@@ -48,7 +48,8 @@ TUPLE: processor-info
     { address-sizes array }
     { power-management string }
     { tlb-size string }
-    { bugs string } ;
+    { bugs string }
+    { vmx-flags string } ;
 
 
 ERROR: unknown-cpuinfo-line string ;
@@ -94,6 +95,7 @@ ERROR: unknown-cpuinfo-line string ;
         { "wp" [ "yes" = >>wp? ] }
         { "TLB size" [ >>tlb-size ] }
         { "bugs" [ >>bugs ] }
+        { "vmx flags" [ >>vmx-flags ] }
         [ unknown-cpuinfo-line ]
     } case ;