Hi Chris,
I have downloaded http-server example for imx6 (I am working on zynqmp), just to use it as
a reference to see how did you implement a synchronization functions, but I didn’t find
these function to be implemented. Is this example not complete?
Thanks you,
Leonid
From: Devel <devel-bounces(a)sel4.systems> On Behalf Of Chris Guikema
Sent: Thursday, August 9, 2018 2:06 PM
To: Fabrizio Bertocci <fabriziobertocci(a)gmail.com>om>; xuguo.wong(a)gmail.com
Cc: devel(a)sel4.systems
Subject: Re: [seL4] Network lwip for imx6
Xuguo,
To add on, DornerWorks has also created an example http-server application that uses lwIP
and the Ethernet drivers to host an http-server on an imx6.
It’s on an older version of seL4 (7.0.0), but you can download it and try it out for
yourself.
$ repo init -u
https://github.com/dornerworks/dw-camkes-manifests -m
http_server.xml<https://github.com/dornerworks/dw-camkes-manifests%20-m%20http_server.xml>
$ repo sync
You’ll need to go to the FileSystem component directory and run the makefs python
script.
$ python apps/camkes_http/components/FileSystem/makefs.py
$ make http_server_defconfig
$ make
There is a readme document in the camkes_http application that overviews exactly how the
system is setup, and how the Ethdriver and Router components work.
In order to make an echo server, you would just need to create an interface to echo the
messages back and forth.
Let me know if you have any other questions,
Chris Guikema
DornerWorks Ltd
From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Fabrizio Bertocci
Sent: Wednesday, August 8, 2018 9:30 PM
To: xuguo.wong@gmail.com<mailto:xuguo.wong@gmail.com>
Cc: devel@sel4.systems<mailto:devel@sel4.systems>
Subject: Re: [seL4] Network lwip for imx6
CAUTION: This email originated from outside the organization. Do no click links or open
attachments unless you recognize the sender and know the content is safe.
Xuguo,
lwip on IMX6 is already available on seL4 (I have been using it in my project).
Look at the seL4/util_libs repository. There you can find the ethernet driver and the
lwip.
Make sure to use the latest version (from master) that contains important fixes to the
driver.
Regards,
Fabrizio
On Wed, Aug 8, 2018 at 9:19 PM wong xuguo
<xuguo.wong@gmail.com<mailto:xuguo.wong@gmail.com>> wrote:
Hi,
I am a student fron Nanjing university, a fresh man of microkernel, specially,
know very little about the seL4.
Recently I accept a chellange about porting the lwip to sel4, on arch of imx6,
does any one could give me a clue?
I found the source of camkes does have this code, could I do something to port,
to make the lwip work? What my aim is make a tcp echo server.
Thank you for all of you help.
Best regards
from Xuguo Wang
_______________________________________________
Devel mailing list
Devel@sel4.systems<mailto:Devel@sel4.systems>
https://sel4.systems/lists/listinfo/devel
________________________________
This message and all attachments are PRIVATE, and contain information that is PROPRIETARY
to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose
this message or any attachments to any third party whatsoever without the express written
consent of Intelligent Automation, Inc. If you received this message in error or you are
not willing to view this message or any attachments on a confidential basis, please
immediately delete this email and any attachments and notify Intelligent Automation,
Inc.