Comment by themk

It's pretty exciting to see a small chip with an MMU. I wonder if it would be possible to get sel4 running on this?

I'm also curious about the current draw, but I couldn't find anything?