Good news for learning as well. I had never seen an open source EC firmware before, and I'm curious about what's inside that.