au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 7 forks source link

Use appropriate size for i2c memory regions. #68

Closed Kswin01 closed 4 weeks ago

Kswin01 commented 3 months ago

The I2C data region is currently bound to 262,144 bytes. The request/response regions are currently limited to 20496 bytes. This reflects the sDDF changes to the NUM_QUEUE_ENTRIES definition in this pull request: https://github.com/au-ts/sddf/pull/123.

Ivan-Velickovic commented 2 months ago

Same as the sDDF PR, should all be one page with a comment explaining why.

Ivan-Velickovic commented 2 months ago

Needs this change in sDDF https://github.com/au-ts/sddf/pull/123 but we also need to change the serial sub-system to match the new design in sDDF so this PR is blocked until that is done.