Merge branch 'main' into ariane-cva6-support

seL4 · Dec 4, 2024 · fb95b50 · fb95b50
2 parents a25ed92 + 9bc4568
commit fb95b50
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/example/imx8mm_evk/passive_server/passive_server.system b/example/imx8mm_evk/passive_server/passive_server.system
@@ -5,7 +5,7 @@
  SPDX-License-Identifier: BSD-2-Clause
 -->
 <system>
-    <protection_domain name="server" priority="100" pp="true" passive="true">
+    <protection_domain name="server" priority="100" passive="true">
         <program_image path="server.elf" />
     </protection_domain>
 
@@ -15,7 +15,7 @@
 
     <channel>
         <end pd="server" id="0" />
-        <end pd="client" id="0" />
+        <end pd="client" id="0" pp="true" />
     </channel>
 
 </system>
diff --git a/example/tqma8xqp1gb/ethernet/ethernet.system b/example/tqma8xqp1gb/ethernet/ethernet.system
@@ -44,7 +44,7 @@
 
     <memory_region name="eth_clk" size="0x1_000" phys_addr="0x5b200000" />
 
-    <protection_domain name="gpt" priority="254" pp="true">
+    <protection_domain name="gpt" priority="254">
         <program_image path="gpt.elf" />
         <map mr="lsio_gpt0" vaddr="0x2_000_000" perms="rw" cached="false" setvar_vaddr="gpt_regs" />
         <map mr="lsio_gpt0_clk" vaddr="0x2_200_000" perms="rw" cached="false" setvar_vaddr="gpt_regs_clk" />
@@ -96,7 +96,7 @@
 
     <channel>
         <end pd="gpt" id="1" />
-        <end pd="pass" id="0" />
+        <end pd="pass" id="0" pp="true" />
     </channel>
 
     <channel>