Secure embedded Linux platforms for IoT and Edge devices