search

sid-agrawal / OSmosis

1 stars 0 forks source link

Model Cross PD Communication #36

Open sid-agrawal opened 4 months ago

sid-agrawal commented 4 months ago

Two PDs can communicate in many ways and the allowed methods are a function of their isolation. We need to ensure that each of these communication methods can be modeled in OSmosis.

  1. IPC via pipe
  2. seL4 style IPC
  3. Shared Memory (no intermediary)
  4. Anything else ..