nova: use kernel branch with vCPU fpu support

branch r4 based on latest vanilla kernel of @udosteinberg
2014-01-09 14:05:53 +01:00 · 2014-01-09 14:05:53 +01:00 · 39a7ffd233
parent fa23c0bd4f
commit 39a7ffd233
2 changed files with 2 additions and 1 deletions
--- a/base-nova/Makefile
+++ b/base-nova/Makefile
@ -9,7 +9,7 @@ VERBOSE     ?= @
 ECHO        = @echo
 GIT_URL     = https://github.com/alex-ab/NOVA.git
 GIT_REV     = HEAD
-GIT_BRANCH  = r3
+GIT_BRANCH  = r4
 CONTRIB_DIR = contrib
 PATCHES     = $(shell find patches -name '*.patch')

--- a/base-nova/include/nova/syscall-generic.h
+++ b/base-nova/include/nova/syscall-generic.h
@ -209,6 +209,7 @@ namespace Nova {
 				STA  = 1 << 18,  /* interruptibility state */
 				TSC  = 1 << 19,  /* time-stamp counter */
 				EFER = 1 << 20,  /* EFER MSR */
+				FPU  = 1 << 31,  /* FPU state */

 				IRQ  = EFL | STA | INJ | TSC,
 				ALL  = 0x000fffff & ~CTRL,