Re: bin/nic_drv no such directory in Genode 15.02

2018-09-18 Thread Hinnerk van Bruinehsen
Hi, the NIC driver for the i.MX MCUs (which afaik power the sabrelite) were added in November 2017. So unless you want to backport them to 15.02 you won't be able to use them. Generally I'd advise you to switch to just switch to a newer release. Regards, Hinnerk van Bruinehsen On Tue, Sep 18, 20

genode-sel4-arm -- Genode OS and the seL4 micro-kernel on physical ARM hardware

2018-09-18 Thread Adam Wiethuechter
Webite -- http://genodl4arm.critical.com/ Github -- https://github.com/CriticalTechnologiesInc/genode-sel4-arm Hello everyone, I have something rather exciting to share with you all today that we here at Critical Technologies Inc (CTI) have been working on for sometime now - the marriage of Ge

Re: bin/nic_drv no such directory in Genode 15.02

2018-09-18 Thread Prakash A
Tq sir, but I am working on imx6 processor, and which latest genode wirsion that supports imx6. On Tue 18 Sep, 2018, 12:47 PM Hinnerk van Bruinehsen, < hvbruineh...@stackptr.de> wrote: > Hi, > > the NIC driver for the i.MX MCUs (which afaik power the sabrelite) > were added in November 2017. So

Re: bin/nic_drv no such directory in Genode 15.02

2018-09-18 Thread Hinnerk van Bruinehsen
I'm not sure if I understand you correctly. The network controller in the i.MX6 SoC is the one driven by the fec driver inside linux. This driver was ported to Genode last year and merged into the repo in November 2017. I'm not sure how much work is required to get everything working on the Sabreli

Re: bin/nic_drv no such directory in Genode 15.02

2018-09-18 Thread Prakash A
Thank you sir, I will work on latest version. On Wed, Sep 19, 2018 at 12:15 PM Hinnerk van Bruinehsen < hvbruineh...@stackptr.de> wrote: > I'm not sure if I understand you correctly. The network controller in the > i.MX6 SoC is the one driven by the fec driver inside linux. This driver was > port