Hello Norman, I followed your steps and I compiled Genode (printf scenario) with this modifications, but when I tested on the card it doesn't work. Then I tried to read the serial output but i can't read it. best regards waldo