After a few nights of reading through thousands of pages of PRMs I have finally implemented a modesetting driver for Intel HD graphics on Redox OS: https://gitlab.redox-os.org/redox-os/base/-/merge_requests/46/. There is much more to do, but there is now a clear path to native hardware accelerated graphics!