Closed
Description
Currently, the IPCData array in kernel/src/ipc.rs
is hardcoded to hold 8 elements, and whenever an application registers as an IPC client, the callback and shared memory for that client is stored at that place in the array. Currently the Hail board is initialized with support for up to 20 apps. If an app with an index greater than 7 attempts to use IPC, IPC will fail.
Ideally we would tie the size of these arrays to the size of the PROCESSES array, though I am not yet sure exactly how that should be done.