hello, my name is alif, I'm from Computer Engineering, EEPIS. I just start learning about gnode and really interested about this framework. What I want to ask is I've interested with this article http://genode.org/documentation/articles/pandaboard I've download and unpack the image onto my SD Card. Is there any steps before I can boot this image on my pandaboard? I've tried using minicom just like when using linux on pandaboard. But it won't initialized. Please help me.