Hello Genode hackers: neither option serves me because I'm working with YSE5250 card, and really what I want to know is if Genode supports that card. Regards Waldo