Fix serial enqueue batch bug that causes VM faults

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

17 stars 14 forks source link

Fix serial enqueue batch bug that causes VM faults #198

Closed Courtney3141 closed 1 month ago

Courtney3141 commented 1 month ago

During the creation of serial enqueue batch, a mistaken refactor removed the line of code handling the wrap around of the serial data region. This PR fixes this.