github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-04-27 18:35:32 +00:00
Code Issues Projects Releases Wiki Activity

Merge "sel4bundle: pass ipc buffer address"

Browse Source 
GitOrigin-RevId: 8d2799961ded3be2393529253ba5d0b5dfafecfb
This commit is contained in:
Sam Leffler 2022-08-19 21:05:10 +00:00
parent 159d64e4ed
commit 831a698120
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
apps/system/components/ProcessManager/kata-proc-manager/src/sel4bundle/mod.rs
View File

@ -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.