Hello, l4 hackers :-)

To secure Ethernet on L4 Linux, I've modified source code with yeongchann
and we succeeded to obtain Ethernet.
we've used 'l4re-snapshot-2014022818' and Freescale i.MX6 Quad SABRE SD board (ARMv7a)

I don't know whether this patch can contribute l4 project.
But can you check 'imx6q-fec.patch' ?

Attached patch is

1. to change UART2 to UART1 for imx6q sabresd (learned by Ahmed Ammar) and
2. to fix compile error(fiasco and l4linux) ,
3. to modify source related to FEC ethernet.

To put it concretely...

===== About UART for imx6q sabresd =====
(learned by Ahmed Ammar)
1)  mem_layout-arm-imx.cpp
(src/kernel/fiasco/src/kern/arm/bsp/imx/mem_layout-arm-imx.cpp)

2) uart-imx.cpp
(src/kernel/fiasco/src/kern/arm/bsp/imx/uart-imx.cpp)

3) imx.cc
(src/l4/pkg/bootstrap/server/src/platform/imx.cc)
==============================

===== About compile error =====
1) tb_entry_output.cc
(src/kernel/fiasco/src/kern/tb_entry_output.cc)
2) Kconfig
(src/l4linux/arch/l4/Kconfig)
=======================

===== For FEC ethernet ======
1) mach_setup.c
(src/l4linux/arch/l4/kernel/arch-arm/mach_setup.c)

2) fec.h
(src/l4linux/drivers/net/ethernet/freescale/fec.h)

3) fec_main.c
(src/l4linux/drivers/net/ethernet/freescale/fec_main.c)

4) fec_ptp.c
(src/l4linux/drivers/net/ethernet/freescale/fec_ptp.c)

5) Kconfig
(src/l4linux/drivers/net/ethernet/freescale/Kconfig)
======================

===== For access HW on L4Linux =====
1) imx6q.io
(src/l4/conf/examples/imx6q.io)

2) l4lx-imx6q.cfg
(src/l4/conf/examples/l4lx-imx6q.cfg)

3) modules.list
(src/l4/conf/modules.list)
===========================

I hope this is of some help to someone.

- Taeung -