port samsung exynos 5

Waldo Paz Rodriguez waldopaz at ...210...
Wed Jan 21 21:48:12 CET 2015

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

More information about the users mailing list