From c39a9201e74f25dba579ee1e31bf13a285c074d3 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Mon, 7 Aug 2023 17:59:31 +0200 Subject: [PATCH] Added priorities to yield testing scenario. --- repos/mml/run/resource_yield.run | 26 +++++++++++++++++++++++--- 1 file changed, 23 insertions(+), 3 deletions(-) diff --git a/repos/mml/run/resource_yield.run b/repos/mml/run/resource_yield.run index b959ef9ada..f210d87341 100644 --- a/repos/mml/run/resource_yield.run +++ b/repos/mml/run/resource_yield.run @@ -11,7 +11,7 @@ create_boot_directory set config { - + @@ -39,8 +39,8 @@ set config { - - + + @@ -71,6 +71,26 @@ set config { + + + + + + + + + + + + + + + + + + + +