This PR introduces some kernel improvements such has removing useless drivers, along with building the entire system using the neon FPU and the thumb-2 instruction set. This should slightly decrease the size of the binaries produced and make them faster. At the very least removing so many unneeded kernel drivers can't hurt.
This PR introduces some kernel improvements such has removing useless drivers, along with building the entire system using the neon FPU and the thumb-2 instruction set. This should slightly decrease the size of the binaries produced and make them faster. At the very least removing so many unneeded kernel drivers can't hurt.
Looks good to me.
Various kernel improvements
2b68de3
intostable-dev-board
fromkernel_improvements
on 2 Sep 2020kernel_improvements
branch on 2 Sep 2020