Yup, all the software except the blobs for the SoC, display FW, and trackpad FW (since it's COTS) are open source! If I wanted to have those open-source, the entire machine would take a huge performance hit. I think of striking a balance.
The entire linux install is OSS, the keyboard is in ZMK, and the EC firmware is written in Arduino.
The entire linux install is OSS, the keyboard is in ZMK, and the EC firmware is written in Arduino.