ELEC424/COMP424/ELEC553: Mobile & Embedded Systems
How social insititutes become more complex
How biological systems become more complex
How artifacts become more complex
Structure of complexity
Humans are stupid
Machines are limited too
Building complex software systems
The rise of C (and Linux)
C is bad
OSes written with safe languages
Reading for your leisure
Rust programming language
I have found the following three books about Linux kernels useful. The first one is perhaps most concise and updated. But the other two may have interesting details useufl to your work.
Kernel programming tips
The Linux kernel is written in GNC C, i.e. it must be compiled by GCC, and assembly.
KDB and KGDB for kernel debugging.
Tips for Writing Good Code
If you have not written large C code before, here are some tips for you.