I'm really happy opening my first discussion. :D
I take part on a research by using Genode on Odroid_xu4.
Had some problems creating images but I got one for XU3, created as "uimage" put on SD-Card.
And https://en.wikipedia.org/wiki/ODROID in which Genode is declared as "NO" in working as OS with XU4. In Wikipedia-Talk I questioned it. I hope, somebody can give a clear answer for that. Also I believe, Yevgeny made good work, but more I want to know, why he interrupted the project.
Well, after connecting this is my first Issue :D,
This is the first statement from XU4 via "gtkterm" connected UART:
U-Boot 2012.07-00036-g4d29c46-dirty (Dec 04 2015 - 15:52:26) for Exynos5422
CPU: Exynos5422 Rev0.1 [Samsung SOC on SMP Platform Base on ARM CortexA7]
APLL = 800MHz, KPLL = 800MHz
MPLL = 532MHz, BPLL = 825MHz
Board: HardKernel ODROID
DRAM: 2 GiB
WARNING: Caches not enabled
Hey Guys,
I'm really happy opening my first discussion. :D
I take part on a research by using Genode on Odroid_xu4.
Had some problems creating images but I got one for XU3, created as "uimage" put on SD-Card.
Now I have several information:
https://github.com/genodelabs/genode/issues/991, not understand,yet.
https://sourceforge.net/p/genode/mailman/message/31693682/, think the next steps.
And https://en.wikipedia.org/wiki/ODROID in which Genode is declared as "NO" in working as OS with XU4. In Wikipedia-Talk I questioned it. I hope, somebody can give a clear answer for that. Also I believe, Yevgeny made good work, but more I want to know, why he interrupted the project.
Well, after connecting this is my first Issue :D,
This is the first statement from XU4 via "gtkterm" connected UART:
U-Boot 2012.07-00036-g4d29c46-dirty (Dec 04 2015 - 15:52:26) for Exynos5422
CPU: Exynos5422 Rev0.1 [Samsung SOC on SMP Platform Base on ARM CortexA7]
APLL = 800MHz, KPLL = 800MHz
MPLL = 532MHz, BPLL = 825MHz
Board: HardKernel ODROID
DRAM: 2 GiB
WARNING: Caches not enabled
TrustZone Enabled BSP
BL1 version: �/��
VDD_KFC: 0x44
LDO19: 0xf2
Checking Boot Mode ... SDMMC
MMC: S5P_MSHC2: 0, S5P_MSHC0: 1
MMC Device 0: 14.8 GiB
MMC Device 1: 29.1 GiB
MMC Device 2: MMC Device 2 not found
there are pending interrupts 0x00000001
*** Warning - bad CRC, using default environment
In: serial
Out: serial
Err: serial
Net: No ethernet found.
Press quickly 'Enter' twice to stop autoboot: 0
Unable to use mmc 0:1 for fatload
Unknown command 'ext4load' - try 'help'
Unknown command 'ext4load' - try 'help'
Unable to use mmc 0:1 for fatload
Unable to use mmc 0:2 for fatload
Sorry for missing information for better understanding the Issue. May I can complete them next time.
Thanks for any help!
Steve
Hi Steve,
great to see that you are getting started!
I am afraid that this forum is pretty much deserted. To reach the community, please post to the mailing list instead:
http://genode.org/community/mailing-lists
See you at the mailing list! :-)
Norman