Ethernet Networking, C, Linux, Qnx, Python, ISO21434, ISO26262, formal methods, Ada SPARK

Selinux, Operating Systems, Aspice, Cybersecurity, Embedded Software, Computer Architecture, C Programming, Linux Kernel, ISO SAE 21434, process isolation, embedded Linux platforms, ARM-based SoCs, system hardening techniques, AppArmor, Embedded System Design, Linux Kernel debugging, Tpm, ISO 26262, secure boot, TrustZone