Re: Genode on Odroid-XU4

2017-01-24 Thread Stefan Kalkowski
Hi, On 01/20/2017 05:01 AM, Yevgeny Lavrov wrote: > Thanks for the support. Unfortunately, I must switch platforms. Would it > be possible to repeat the same steps on i.MX6 Sabre Lite? Sure it is. Fortunately, we already have very basic support for the i.MX6 SoC. Therefore, enabling the Sabre Lit

Re: Genode on Odroid-XU4

2017-01-19 Thread Yevgeny Lavrov
Thanks for the support. Unfortunately, I must switch platforms. Would it be possible to repeat the same steps on i.MX6 Sabre Lite? On Thu, Jan 5, 2017 at 3:07 AM, Stefan Kalkowski < stefan.kalkow...@genode-labs.com> wrote: > Hello, > > On 01/04/2017 10:46 PM, Yevgeny Lavrov wrote: > > Thanks, Ste

Re: Genode on Odroid-XU4

2017-01-05 Thread Stefan Kalkowski
Hello, On 01/04/2017 10:46 PM, Yevgeny Lavrov wrote: > Thanks, Stefan :) Now I see some output. I've checked minicom settings > for UART, and it is was set to: 115200 8N1. Changing settings there > didn't help, so I went the suggested alternative path and out commented > the 'Exynos_uart_base' con

Re: Genode on Odroid-XU4

2017-01-04 Thread Yevgeny Lavrov
Thanks, Stefan :) Now I see some output. I've checked minicom settings for UART, and it is was set to: 115200 8N1. Changing settings there didn't help, so I went the suggested alternative path and out commented the 'Exynos_uart_base' constructor's body. Now I get: kernel initialized prefetch abort

Re: Genode on Odroid-XU4

2017-01-03 Thread Stefan Kalkowski
Hi Yevgeny, congratulations for the first successful steps. Obviously the UART configuration is not proper. One potential problem can be the UART reference clock setting, original value: repos/base/include/spec/odroid_xu/drivers/board_base.h:31: The reference clock's value is used to calculate

Re: Genode on Odroid-XU4

2017-01-03 Thread Yevgeny Lavrov
Hello I've followed all the steps suggested above. There were no problems interacting with Linux system on test board via UART cable. It looks like Network boot and fastboot (Odroid-XU4 doesn't have USB otg port) are not supported by Odroid-XU4. After creating hw_odroid_xu build directory, adding

Re: Genode on Odroid-XU4

2016-12-01 Thread Stefan Kalkowski
sorry, I just recognized the SoCs are not fully equal. The first Odroid XU, which we are using is Exynos 5410, and your board uses Exynos 5422. Anyway, I would follow the same approach. Additionally, you can compare memory settings and I/O memory settings of the UART within device-tree specificatio

Re: Genode on Odroid-XU4

2016-12-01 Thread Stefan Kalkowski
Hello Yevgeny Lavrov, there is basic support for the Odroid XU regarding Genode's own kernel (base-hw). I assume you will be able to start various scenarios that only use CPU, Timers and UART on the Odroid XU4 as well, because they use the same SoC. I would start with connecting a UART cable via