Signed-off-by: Wei Liu <wei.l...@citrix.com>
---
Please set host property 'UBootSetFlaskAddrR' to 0x1200000.
---
 Osstest/Debian.pm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Osstest/Debian.pm b/Osstest/Debian.pm
index b829878..9f7705e 100644
--- a/Osstest/Debian.pm
+++ b/Osstest/Debian.pm
@@ -158,10 +158,16 @@ sub setupboot_uboot ($$$$) {
            # Use the flaskpolicy from tools build job because we might
            # want to test cross releases policy compatibility.
            my $flaskpolicy = get_runvar('flaskpolicy',$r{buildjob});
+           my $flask_policy_addr_r =
+               get_host_property($ho, 'UBootSetFlaskAddrR', undef);
+           my $set_flask_addr_r =
+               $flask_policy_addr_r ?
+               "setenv flask_policy_addr_r $flask_policy_addr_r" : "";
+
            $xenhopt .= " flask=enforcing";
            $flask_commands = <<END;
 
-setenv flask_policy_addr_r 0x1200000
+${set_flask_addr_r}
 flaskpolicy=`readlink -f /boot/$flaskpolicy`
 ext2load scsi 0 \\\${flask_policy_addr_r} \$flaskpolicy
 fdt mknod /chosen module\@2
-- 
1.9.1


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to