"How do you develop Firmware fast while still maintaining quality?"
Follow
In 2022 and onward? By program synthesis, hopefully.
@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
@jmw150 @lupyuen Agreed! But we'll need to make quite some progress in semantic hardware descriptions. I've been "writing" firmware for >10 years now, and I'd love to have that automated down to feeding in schematics and a wishlist of operations. So far, I don't have a good model for either.