19:24 <ndufresne> javier__, does iommu works now on 4412 ? or was this abandoned ?

19:42 <javier__> ndufresne: not sure tbh,I don't habe an Exynos4 board

19:43 <javier__> I know that works now with Exynos5

19:43 <ndufresne> ok, just asking, I like using that one since it run getting power directly from my computer USB port

19:44 <ndufresne> will try anyway, on Exynos3, I only got a XU3, how different is it from XU4 ?

19:44 <ndufresne> I'm spending now time to bootstrap few more boards now

20:01 <genii> krzk: A bit more info on the S5P6818 ... studying the uboot source code for it shows it's being compiled for 32 bit armv4t Samsung s3c24xx series. I'm working on trying to get a 64bit uboot and kernel on the thing this week.

20:25 <javier__> ndufresne: the XU3 and XU4 are very similar

20:25 <javier__> XU4 is just a stripped version of the XU3

20:25 <javier__> but are the same fron a media pov

20:25 <Wizzup> the XU4 is 64 bit?

20:25 <javier__> *from

20:26 <javier__> Wizzup: no, Exyns5422 the two of them

20:26 <Wizzup> That's what I thought

20:26 <javier__> *Exynos

20:26 <Wizzup> (owning a XU4 myself)

20:27 <ndufresne> hard kernel wiki made great progress since last time I've watched it

20:27 <ndufresne> e.g., the partition table is now cleanly documented, http://odroid.com/dokuwiki/doku.php?id=en:xu3_partition_table