From a5c95b9fbbf143ab6aa3bd9ddcd11c9a6f600207 Mon Sep 17 00:00:00 2001
From: Julien Grall <julien.grall@linaro.org>
Date: Wed, 19 Nov 2014 15:56:24 +0000
Subject: [PATCH] forth: Start to add load_xen

---
 sys/boot/forth/loader.4th  | 1 +
 sys/boot/forth/support.4th | 7 +++++++
 2 files changed, 8 insertions(+)

diff --git a/sys/boot/forth/loader.4th b/sys/boot/forth/loader.4th
index 55778ff4b377..9f28fe2deece 100644
--- a/sys/boot/forth/loader.4th
+++ b/sys/boot/forth/loader.4th
@@ -143,6 +143,7 @@ include /boot/check-password.4th
   \ was succesfully loaded!
   any_conf_read? if
     s" loader_delay" getenv -1 = if
+      load_xen
       load_kernel
       load_modules
     else
diff --git a/sys/boot/forth/support.4th b/sys/boot/forth/support.4th
index 645e14d8beba..481b794924f6 100644
--- a/sys/boot/forth/support.4th
+++ b/sys/boot/forth/support.4th
@@ -1437,6 +1437,13 @@ also builtins
   abort" Unable to load a kernel!"
 ;
 
+: load_xen ( -- ) ( throws abort )
+  s" xen_load" getenv dup -1 = if
+    drop
+  else
+    abort" Unable to load Xen!"
+  then
+
 : set_defaultoptions  ( -- )
   s" kernel_options" getenv dup -1 = if
     drop
-- 
2.39.5