From 99b50d996b5a1fd151a6b11d7ca14aaa6c1c495d Mon Sep 17 00:00:00 2001
From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Wed, 22 Apr 2015 15:30:07 +0000
Subject: [PATCH] raisin: disable seabios in Xen, if the user disabled it in
 Raisin

If the user disabled seabios in the raisin config, disable seabios in
Xen.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
---
 components/xen | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/components/xen b/components/xen
index 9ff0222..add8136 100644
--- a/components/xen
+++ b/components/xen
@@ -24,7 +24,7 @@ function xen_check_package() {
 }
 
 function xen_build() {
-    local seabios_opt=""
+    local seabios_opt="--disable-seabios"
     local ovmf_opt=""
 
     cd "$BASEDIR"
-- 
2.39.5