1. Syntax-guided synthesis
2. Anonymous. 2023. Audio cuts with 192 khz 8 channel 16 bit and 24p. https://gitlab.freedesktop.org/drm/intel/-/issues/8276 Anonymous. 2023. Audio cuts with 192 khz 8 channel 16 bit and 24p. https://gitlab.freedesktop.org/drm/intel/-/issues/8276
3. Apple. 2023. DriverKit. https://developer.apple.com/documentation/driverkit Apple. 2023. DriverKit. https://developer.apple.com/documentation/driverkit
4. Apple. 2023. IOKit Fundamentals. https://developer.apple.com/documentation/kernel/iokit_fundamentals/memory Apple. 2023. IOKit Fundamentals. https://developer.apple.com/documentation/kernel/iokit_fundamentals/memory
5. ARM. 2017. PrimeCell UART PL011 Technical Reference Manual. https://developer.arm.com/documentation/ddi0183/latest/ ARM. 2017. PrimeCell UART PL011 Technical Reference Manual. https://developer.arm.com/documentation/ddi0183/latest/