search

oxidecomputer / idolatry

An experimental IPC interface definition language for Hubris.
Mozilla Public License 2.0
17 stars 11 forks source link

Variable lease counts #35

Open mkeeter opened 1 year ago

mkeeter commented 1 year ago

The Hubris I2C server accepts any even number of leases when doing I2C operations.

Idol can't represent variable numbers of leases in RPC calls, which makes this hard to port over.