search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
18 stars 14 forks source link

Use appropriate size for i2c memory regions #123

Closed Kswin01 closed 3 months ago

Kswin01 commented 4 months ago

The I2C data region is currently bound to 12,800 bytes. The request/response regions are currently limited to 4008 bytes.

Ivan-Velickovic commented 4 months ago

One page should be plenty for everything in the example no?

Kswin01 commented 4 months ago

One page should be plenty for everything in the example no?

In this example yes, one page should be sufficient. But the i2c components expect the above sizes, we can reduce these as well if needed. Would you prefer to have everything in the example as small as possible?

Ivan-Velickovic commented 4 months ago

There is only one client and its always waiting on a response for each request. The payloads are very small and so a page is plenty I think.

It would be good to have a comment in the SDF justifying the sizes.