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

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

$ 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