G github.com Writing a “bare metal” operating system for Raspberry Pi 4 453 points rcarmo 5 years ago 95 comments