Can you confirm whether or not I secure devices on L4 Linux ?

[Taeung]

Hello, L4 hackers and Wei Jin :-)

I'm trying to secure devices which are 'SD card' and 'Ethernet' on L4 Linux.
Can you confirm whether or not I secure devices on L4 Linux ?
Sorry for long my mail..

The try I've done is as follows ..

1) 'l4lx-vbus.io' file I've modified
====================
# vim:set ft=ioconfig:
# configuration file for io

l4linux => new System_bus()
{
    NIC => wrap(hw-root.NIC);
    FLASHMEMORY => wrap(hw-root.FLASHMEMORY);
}
====================

2) 'arm-rv-eb-mc.devs' file I've modified using IRQ and MMIO information 
in my board's DataSheet .
(My board is 'Freescale imx6 Quad SABRE SD')
====================
local Hw = Io.Hw
local Res = Io.Res

Io.hw_add_devices
{

   FLASHMEMORY = Hw.Device
   {
     hid = "flashmemory";
     Res.mmio(0x02198000 , 0x0219BFFF);
     Res.irq(56);
   },

   NIC = Hw.Device
   {
     hid = "freescale";
     Res.mmio(0x02188000, 0x0218BFFF);
     Res.irq(150);
     Res.irq(151);
   },
}
====================

3) l4lx_xs.cfg I've modified.
====================
local lxname = "vmlinuz";
if L4.Info.arch() == "arm" then
   lxname = "vmlinuz.arm";
end

loader = L4.default_loader;

vbus_l4linux = loader:new_channel();

-- Start io & flash memory

loader:start(
   { caps = { sigma0  = 
L4.cast(L4.Proto.Factory,L4.Env.sigma0):create(L4.Proto.Sigma0);
              icu     = L4.Env.icu;
              l4linux = vbus_l4linux:svr();
            },
        log      = { "IO", "y" },
        l4re_dbg = L4.Dbg.Warn,
   }, "rom/io rom/arm-rv-eb-mc.devs rom/l4lx-vbus.io");


L4.default_loader:start(
   { caps = {
       log = L4.Env.log:m("rws"),
       vbus = vbus_l4linux;
     },
     l4re_dbg = L4.Dbg.Warn,
     log = { "l4linux", "yellow" },
   },  "rom/" .. lxname .. " mem=64M vmalloc=4M console=ttyLv0 
l4x_rd=rom/ramdisk-arm.rd root=1:0 rw ramdisk_size=20480 init=/linuxrc 
debug");
====================

4) I've modified 'modules.list'
5) I found something about device on L4 Linux booting log as follows..

====================

|Starting kernel ...
                                                                                                                                             
                                                                                                                                             
L4 Bootstrapper
   Build: #8 Tue Apr 22 16:33:35 JST 2014, 4.6.2 20110630 (prerelease)
   Scanning up to 1024 MB RAM

...(omitted)

l4linux | ======> L4Linux starting... <========
l4linux | Linux version 3.13.0-l4-svn46 (taeung at taeung-MS-7798) (gcc version 4.6.2 20110630 (prerelease) (Freescale MAD -- Linaro 2011.07 -4
l4linux | Binary name: rom/vmlinuz.arm
|
||...(omitted)

l4linux | Device scan:
l4linux |   Device: (noname)
l4linux |   Device: NIC
l4linux |     MEM: 02188000 - 0218bfff
l4linux |     IRQ: 00000096 - 00000096
l4linux |     IRQ: 00000097 - 00000097
l4linux |   Device: FLASHMEMORY
l4linux |     MEM: 02198000 - 0219bfff
l4linux |     IRQ: 00000038 - 00000038
l4linux | Device scan done.

||
||||...(omitted)

|||DMA: preallocated 256 KiB pool for atomic coherent allocations
Added static device '(noname)' with 0 resources.
Added static device 'NIC' with 3 resources.
Added static device 'FLASHMEMORY' with 2 resources.

...(|||omitted|)

mmcblk driver  (I've added 'pr_info("|||mmcblk driver|");' in __init function of mmc device driver source code.)

...(|||omitted|)|

|mount: mounting /dev/mmcblk0p2 on /mnt failed: No such device or address
/etc/init.d/S10getconf: Couldnt mount /dev/mmcblk0p2
Initializing random number generator... random: dd urandom read with 1 
bits of entropy available
done.
Loading libertas firmware... /lib/firmware/libertas not found!
/etc/init.d/S30libertas_fw: exit: line 46: Illegal number: -2
Starting network...
Cannot find device "usb0"
Cannot find device "usb0"
Cannot find device "wlan0"
Cannot find device "wlan0"
Starting dropbear sshd: OK
Loading iptables rules... /etc/iptables not found!

dnsmasq: unknown interface usb0
Error for wireless request "Set Mode" (8B06) :
     SET failed on device wlan0 ; Invalid argument.
Cannot read /proc/net/wireless
Error for wireless request "Set ESSID" (8B1A) :
     SET failed on device wlan0 ; Invalid argument.
net.ipv4.ip_forward = 1
/ #
|====================

I guess that devices is secured through being registered in io server 
but network could not be run because there is not FEC ethernet driver.
(For reference, my board's ethernet use 'FEC Ethernet Driver'  )

However I don't know why could not run 'mount /dev/mmcblk0p1 /mnt '.

Do I secure devices on L4 Linux successfully ?
If I only make drivers for its to run successfully , can I access 'SD 
card' and 'Ethernet' on L4Linux ?
Or is my guess wrong ?

I would appreciate if anyone answer.

- Taeung -
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140424/6393b3c4/attachment.html>