Applications often want to do things synchronized to the vertical blanking interval, such as drawing to the framebuffer. The BIOS should expose a mechanism where the OS can do things during that period.
The BIOS could take a callback function and call it in interrupt context on Core 0 when the Vertical Blanking Interval begins.
The BIOS could expose a function called wait_for_vbi which just spins until the VBI occurs.
We'd need to think a bit about what the OS will do if there is no vertical blanking interval - e.g. with the QEMU BIOS. We also need to explain when it's 60 Hz and when it's 70 Hz.
Applications often want to do things synchronized to the vertical blanking interval, such as drawing to the framebuffer. The BIOS should expose a mechanism where the OS can do things during that period.
wait_for_vbi
which just spins until the VBI occurs.We'd need to think a bit about what the OS will do if there is no vertical blanking interval - e.g. with the QEMU BIOS. We also need to explain when it's 60 Hz and when it's 70 Hz.