For well-written embedded software (processor peripheral drivers and OS concepts) I can recommend ChibiOS [1] and libopencm3 [2].

[1] https://github.com/ChibiOS/ChibiOS

[2] https://github.com/libopencm3