"How do you develop Firmware fast while still maintaining quality?"
@chrysn technically, yes. we would need to write some tooling and definite interface blocks for modules but this is something that could be built.
combine that with some initialization code generation and it would take a lot less work to build stuff
@chrysn
Is it possible to upgrade from 4.19.110 to latest Android kernel. 5 x version mainline. From oppo. I don't have knowledge. I update it from git cherry https://bgzashtita.es/git/Android-smartphones/realme/x50-pro/kernel-source/11/kernel-r/-/tree/4.19.157 and now has errors. So there has to be generic way to update it. Like moving only drivers
@jmw150 @lupyuen
@lupyuen
In 2022 and onward? By program synthesis, hopefully.