How to customize OS for embedded Linux boards