From 831a698120dbd4a5ed1b543168477a1b0a7d2bd6 Mon Sep 17 00:00:00 2001 From: Sam Leffler Date: Fri, 19 Aug 2022 21:05:10 +0000 Subject: [PATCH] Merge "sel4bundle: pass ipc buffer address" GitOrigin-RevId: 8d2799961ded3be2393529253ba5d0b5dfafecfb --- .../ProcessManager/kata-proc-manager/src/sel4bundle/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/system/components/ProcessManager/kata-proc-manager/src/sel4bundle/mod.rs b/apps/system/components/ProcessManager/kata-proc-manager/src/sel4bundle/mod.rs index 983fb79..c3370c5 100644 --- a/apps/system/components/ProcessManager/kata-proc-manager/src/sel4bundle/mod.rs +++ b/apps/system/components/ProcessManager/kata-proc-manager/src/sel4bundle/mod.rs @@ -546,7 +546,7 @@ impl seL4BundleImpl { assert_eq!(sp % arch::STACK_ALIGNMENT_BYTES, 0, "TCB stack pointer mis-aligned"); // XXX nonsense values for testing - let argv: &[seL4_Word] = &[0x11112222, 0x22223333, 0x44445555]; + let argv: &[seL4_Word] = &[self.tcb_ipcbuffer_addr, 0x11112222, 0x22223333, 0x44445555]; // NB: tcb_args::maybe_spill_tcb_args may write arg data to the // stack causing the stack pointer to be adjusted.