Hi Genode hackers, I'm interested in whether genode has support for samsung exynos 5 card as I was reviewing and did not find this card in the list that has genode, if you do not have anyone could help me or explain how to do it regards waldo