By the way usb-mouse is directly deactivated, I mean no-light at all...

Regards,

________________________________ From: Wajidali Whowe whowe123@yahoo.com To: Martin Unzner munzner@os.inf.tu-dresden.de; "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 12:33 AM Subject: Re: Touchscreen

Dear Martin,

thank you very much for the answer. I have indeed a strange problem... Quite honestly, I am not sure whether the touchscreen is connected to a USB port but at the boot up I strangely see a mouse arrow which is vanished in 2-3 seconds. (by the way I have a mouse and a keyboard connected through the USB ports). I am not yet sure whether this is due to some crashes...

Best Regards,

________________________________ From: Martin Unzner munzner@os.inf.tu-dresden.de To: l4-hackers@os.inf.tu-dresden.de Sent: Tuesday, November 6, 2012 9:53 AM Subject: Re: Touchscreen

Hi Wajidali,

as far as I am concerned, a touchscreen for x86 computers is handled like a mouse. So if your touchscreen is connected to like an internal USB port or via virtual PS/2, you should be able to run everything that has mouse support in Fiasco/L4, like DOpE or nitpicker (see also Adam's overview e-mail on graphics: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2010/004454.html ).

Regards!

Martin

Am 05.11.2012 23:42, schrieb Wajidali Whowe:

Dear all,

do you have any experience on configuring the touchscreen for L4? I have an x86 computer with a touchscreen and do not know where to start. Does anyone have a small tip for me to start?

Best Regards

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

On 07.11.2012, at 02:56, Wajidali Whowe wrote:

I am truely sorry to disturb again, however, based on various tests on different devices I realized that the anything at USB port is not detected by the mag... For instance, on a laptop the trackpad and original keyboard are both detected and work perfect, however any additional keyboard or mouse at the USB port is neglected somehow.

That's because l4re does not feature a native USB driver/stack. Instead you can use an instance of L4Linux and configure it to act as an input server. Make sure to configure USB support and the right drivers into L4Linux. Then you need to put the correct devices onto the virtual L4Linux bus and connect L4Linux to the "ev" capability of mag.

Matthias.

Best regards,

From: Wajidali Whowe whowe123@yahoo.com To: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 2:18 AM Subject: Re: Touchscreen

By the way usb-mouse is directly deactivated, I mean no-light at all...

Regards,

From: Wajidali Whowe whowe123@yahoo.com To: Martin Unzner munzner@os.inf.tu-dresden.de; "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 12:33 AM Subject: Re: Touchscreen

Dear Martin,

thank you very much for the answer. I have indeed a strange problem... Quite honestly, I am not sure whether the touchscreen is connected to a USB port but at the boot up I strangely see a mouse arrow which is vanished in 2-3 seconds. (by the way I have a mouse and a keyboard connected through the USB ports). I am not yet sure whether this is due to some crashes...

Best Regards,

From: Martin Unzner munzner@os.inf.tu-dresden.de To: l4-hackers@os.inf.tu-dresden.de Sent: Tuesday, November 6, 2012 9:53 AM Subject: Re: Touchscreen

Hi Wajidali,

as far as I am concerned, a touchscreen for x86 computers is handled like a mouse. So if your touchscreen is connected to like an internal USB port or via virtual PS/2, you should be able to run everything that has mouse support in Fiasco/L4, like DOpE or nitpicker (see also Adam's overview e-mail on graphics: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2010/004454.html ).

Regards!

Martin

Am 05.11.2012 23:42, schrieb Wajidali Whowe:

...

Dear all,

do you have any experience on configuring the touchscreen for L4? I have an x86 computer with a touchscreen and do not know where to start. Does anyone have a small tip for me to start?

Best Regards

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Dear Matthias,

1) I created a linux_bus for one of the L4linux by changing the vbus file with the following lines:

linux_bus => new System_bus() {   PCI0 => new PCI_bus()   {     pci[] => wrap(hw-root.match("PCI/CC_0c"));   } }

2) I activated for the usb keyboard and the mouse the following configuration parameters for vmlinuz:

for USB mouse support:  USB_SUPPORT, CONFIG_USB_SERIAL, CONFIG_USB_SERIAL_GENERIC, CONFIG_HIDRAW, CONFIG_USB_HID, CONFIG_USB_G_HID, INPUT_MOUSEDEV, CONFIG_MOUSE_SYNAPTIC_USB, CONFIG_USB_MOUSE and CONFIG_USB_KBD

for PCI: CONFIG_PCI, CONFIG_L4_VPCI

3) Compiled and run again on the x86. Unfortunately still I do not have any usb mouse or keyboard support.

Do you guys have an idea on this? Best Regards,

________________________________ From: Wajidali Whowe whowe123@yahoo.com To: Matthias Lange mlange@sec.t-labs.tu-berlin.de Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 2:19 PM Subject: Re: Touchscreen

Dear Matthias,

Thank you very much for the information, the steps are clear except for the sentence "connect L4Linux to the "ev" capability of mag", could you please kindly detail this part?

Best Regards,

________________________________ From: Matthias Lange mlange@sec.t-labs.tu-berlin.de To: Wajidali Whowe whowe123@yahoo.com Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 6:04 AM Subject: Re: Touchscreen

On 07.11.2012, at 02:56, Wajidali Whowe wrote:

I am truely sorry to disturb again, however, based on various tests on different devices I realized that the anything at USB port is not detected by the mag...

For instance, on a laptop the trackpad and original keyboard are both detected and work perfect, however any additional keyboard or mouse at the USB port is neglected somehow.

That's because l4re does not feature a native USB driver/stack. Instead you can use an instance of L4Linux and configure it to act as an input server. Make sure to configure USB support and the right drivers into L4Linux. Then you need to put the correct devices onto the virtual L4Linux bus and connect L4Linux to the "ev" capability of mag.

Matthias.

Best regards,

---

From: Wajidali Whowe whowe123@yahoo.com To: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 2:18 AM Subject: Re: Touchscreen

By the way usb-mouse is directly deactivated, I mean no-light at all...

Regards,

---

From: Wajidali Whowe whowe123@yahoo.com To: Martin Unzner munzner@os.inf.tu-dresden.de; "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 12:33 AM Subject: Re: Touchscreen

Dear Martin,

thank you very much for the answer. I have indeed a strange problem... Quite honestly, I am not sure whether the touchscreen is connected to a USB port but at the boot up I strangely see a mouse arrow which is vanished in 2-3 seconds. (by the way I have a mouse and a keyboard connected through the USB ports). I am not yet sure whether this is due to some crashes...

Best Regards,

---

From: Martin Unzner munzner@os.inf.tu-dresden.de To: l4-hackers@os.inf.tu-dresden.de Sent: Tuesday, November 6, 2012 9:53 AM Subject: Re: Touchscreen

Hi Wajidali,

as far as I am concerned, a touchscreen for x86 computers is

handled like a mouse. So if your touchscreen is connected to like an internal USB port or via virtual PS/2, you should be able to run everything that has mouse support in Fiasco/L4, like DOpE or nitpicker (see also Adam's overview e-mail on graphics: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2010/004454.html ).

Regards!

Martin

Am 05.11.2012 23:42, schrieb Wajidali Whowe:

Dear all,

...

do you have any experience on configuring the touchscreen for L4? I have an x86 computer with a touchscreen and do not know where to start. Does anyone have a small tip for me to start?

Best Regards

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

--  Dipl.-Inf. Matthias Lange mlange@sec.t-labs.tu-berlin.de Security in Telecommunications TU Berlin / Deutsche Telekom Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.fgsect.de

_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Dear Dirk,

Thanks for the answer, however, I actually have activated the controllers in the configurations for the kernel...

Best Regards,

________________________________ From: Dirk Vogt d.vogt@vu.nl To: Wajidali Whowe whowe123@yahoo.com Cc: Matthias Lange mlange@sec.t-labs.tu-berlin.de; "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Thursday, November 8, 2012 2:37 PM Subject: Re: Touchscreen

Hi Wajidali,

from a quick look it seems that you were missing the USB host controller drivers. Are you sure you activated them in your linux configuration?

Ciao Dirk

On 8 November 2012 14:04, Wajidali Whowe whowe123@yahoo.com wrote:

Dear Matthias,

1. I created a linux_bus for one of the L4linux by changing the vbus file with the following lines:

linux_bus => new System_bus() {   PCI0 => new PCI_bus()   {     pci[] => wrap(hw-root.match("PCI/CC_0c"));   } }

2. I activated for the usb keyboard and the mouse the following configuration parameters for vmlinuz:

for USB mouse support:  USB_SUPPORT, CONFIG_USB_SERIAL, CONFIG_USB_SERIAL_GENERIC, CONFIG_HIDRAW, CONFIG_USB_HID, CONFIG_USB_G_HID, INPUT_MOUSEDEV, CONFIG_MOUSE_SYNAPTIC_USB, CONFIG_USB_MOUSE and CONFIG_USB_KBD

for PCI: CONFIG_PCI, CONFIG_L4_VPCI

3. Compiled and run again on the x86. Unfortunately still I do not have any usb mouse or keyboard support.

Do you guys have an idea on this? Best Regards,

---

From: Wajidali Whowe whowe123@yahoo.com To: Matthias Lange mlange@sec.t-labs.tu-berlin.de Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 2:19 PM Subject: Re: Touchscreen

Dear Matthias,

Thank you very much for the information, the steps are clear except for the sentence "connect L4Linux to the "ev" capability of mag", could you please kindly detail this part?

Best Regards,

---

From: Matthias Lange mlange@sec.t-labs.tu-berlin.de To: Wajidali Whowe whowe123@yahoo.com Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 6:04 AM Subject: Re: Touchscreen

On 07.11.2012, at 02:56, Wajidali Whowe wrote:

I am truely sorry to disturb again, however, based on various tests on different devices I realized that the anything at USB port is not detected by the mag...

...

For instance, on a laptop the trackpad and original keyboard are both detected and work perfect, however any additional keyboard or mouse at the USB port is neglected somehow.

That's because l4re does not feature a native USB driver/stack. Instead you can use an instance of L4Linux and configure it to act as an input server. Make sure to configure USB support and the right drivers into L4Linux. Then you need to put the correct devices onto the virtual L4Linux bus and connect L4Linux to the "ev" capability of mag.

Matthias.

Best regards,

...

---

From: Wajidali Whowe whowe123@yahoo.com To: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 2:18 AM Subject: Re: Touchscreen

By the way usb-mouse is directly deactivated, I mean no-light at all...

Regards,

---

From: Wajidali Whowe whowe123@yahoo.com To: Martin Unzner munzner@os.inf.tu-dresden.de; "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 7, 2012 12:33 AM Subject: Re: Touchscreen

Dear Martin,

thank you very much for the answer. I have indeed a strange problem... Quite honestly, I am not sure whether the touchscreen is connected to a USB port but at the boot up I strangely see a mouse arrow which is vanished in 2-3 seconds. (by the way I have a mouse and a keyboard connected through the USB ports). I am not yet sure whether this is due to some crashes...

Best Regards,

---

From: Martin Unzner munzner@os.inf.tu-dresden.de To: l4-hackers@os.inf.tu-dresden.de Sent: Tuesday, November 6, 2012 9:53 AM Subject: Re: Touchscreen

Hi Wajidali,

as far as I am concerned, a touchscreen for x86 computers is

handled like a mouse. So if your touchscreen is connected to like an internal USB port or via virtual PS/2, you should be able to run everything that has mouse support in Fiasco/L4, like DOpE or nitpicker (see also Adam's overview e-mail on graphics: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2010/004454.html ).

...

Regards!

Martin

Am 05.11.2012 23:42, schrieb Wajidali Whowe:

Dear all,

...

do you have any experience on configuring the touchscreen for L4? I have an x86 computer with a touchscreen and do not know where to start. Does anyone have a small tip for me to start?

Best Regards

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

...

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

--  Dipl.-Inf. Matthias Lange mlange@sec.t-labs.tu-berlin.de Security

in Telecommunications

TU Berlin / Deutsche Telekom Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.fgsect.de

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Hi Matthias,

do you mean like the following? Coz with the following set-up the l4linux is not booting and no error message came out:

local mag_caps = { mag = l:new_channel(), svc = l:new_channel(), };

hid = l:new_channel();

l:start({           caps = {    vbus = io_caps.con_bus,    fb   = fb_caps.fb,    mag  = mag_caps.mag:svr(),    svc  = mag_caps.svc:svr(),  },  ev   = hid;           log      = { "mag", "g" },  l4re_dbg = L4.Dbg.Warn,         }, "rom/mag");

local linux_caps = {   log = L4.Env.log:m("rws");   vbus = io_caps.linux_bus;   rtc = rtc_caps.rtc;   rom = L4.Env.rom;   fb = mag_caps.svc:create(L4.Proto.Goos, "g=470x640,pos=10,20"); };

l:start(         {                 caps = linux_caps, ev = hid:srv(),          },         "rom/vmlinuz.android mem=256M l4-input-srv.enable=1 console=ttyLvx ramdisk=rom/openwrt-x86-alix2-rootfs.tar.gz root=1:0 ramdisk_size=32768 l4x_rd=rom/openwrt-x86-alix2-rootfs.tar.gz init=/etc/preinit");

Best Regards,

________________________________ From: Matthias Lange mlange@sec.t-labs.tu-berlin.de To: Wajidali Whowe whowe123@yahoo.com Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Thursday, November 8, 2012 4:51 PM Subject: Re: Touchscreen

On Wed, Nov 07, 2012 at 05:19:39AM -0800, Wajidali Whowe wrote:

Dear Matthias,

Thank you very much for the information, the steps are clear except for the sentence "connect L4Linux to the "ev" capability of mag", could you please kindly detail this part?

You need something like this in your lua script

hid = l:new_channel()

(for L4Linux) ev = hid::svr()

(for mag) ev = hid;

Don't forget to enable the input server with l4-input-srv.enable=1 on the command line.

Matthias.

Hi Matthias,  now the lua script is like this and I just added one additional linux to see whether it is working, however, still I have no usb support:

hid = l:new_channel();

local linux_caps = {   vbus = io_caps.linux_bus,   rtc = rtc_caps.rtc,   ev = hid:svr(),   rom = L4.Env.rom, };

l:start(         {                 caps = linux_caps, log      = { "server", "g" },         },         "rom/vmlinuz.android mem=256M l4-input-srv.enable=1 console=ttyLv0 ramdisk=rom/openwrt-x86-alix2-rootfs.tar.gz root=1:0 ramdisk_size=32768 l4x_rd=rom/openwrt-x86-alix2-rootfs.tar.gz init=/etc/preinit");

local mag_caps = { mag = l:new_channel(), svc = l:new_channel(), };

l:start({           caps = {    vbus = io_caps.con_bus,    fb   = fb_caps.fb,    ev   = hid,     mag  = mag_caps.mag:svr(),    svc  = mag_caps.svc:svr(),  },           log      = { "mag", "g" },  l4re_dbg = L4.Dbg.Warn,         }, "rom/mag");

local linux_caps2 = {   rtc = rtc_caps.rtc;   rom = L4.Env.rom;   fb = mag_caps.svc:create(L4.Proto.Goos, "g=470x640,pos=10,20"); };

l:start(         {                 caps = linux_caps2,                 log = {"simpleLinux" , "g"},          },         "rom/vmlinuz.android mem=256M  console=ttyLvx ramdisk=rom/openwrt-x86-alix2-rootfs.tar.gz root=1:0 ramdisk_size=32768 l4x_rd=rom/openwrt-x86-alix2-rootfs.tar.gz init=/etc/preinit");

Best Regards,

________________________________ From: Matthias Lange mlange@sec.t-labs.tu-berlin.de To: Wajidali Whowe whowe123@yahoo.com Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Thursday, November 8, 2012 6:33 PM Subject: Re: Touchscreen

On Thu, Nov 08, 2012 at 09:14:00AM -0800, Wajidali Whowe wrote:

Hi Matthias,

do you mean like the following? Coz with the following set-up the l4linux is not booting and no error message came out:

You need to start L4Linux before mag. mag is waiting for the server to connect to its ev cap.

Matthias.

local mag_caps = { mag = l:new_channel(), svc = l:new_channel(), };

hid = l:new_channel();

l:start({           caps = {      vbus = io_caps.con_bus,      fb   = fb_caps.fb,      mag  = mag_caps.mag:svr(),      svc  = mag_caps.svc:svr(),    },    ev   = hid;           log      = { "mag", "g" },    l4re_dbg = L4.Dbg.Warn,         }, "rom/mag");

local linux_caps = {   log = L4.Env.log:m("rws");   vbus = io_caps.linux_bus;   rtc = rtc_caps.rtc;   rom = L4.Env.rom;   fb = mag_caps.svc:create(L4.Proto.Goos, "g=470x640,pos=10,20"); };

l:start(         {                 caps = linux_caps, ev = hid:srv(),          },         "rom/vmlinuz.android mem=256M l4-input-srv.enable=1 console=ttyLvx ramdisk=rom/openwrt-x86-alix2-rootfs.tar.gz root=1:0 ramdisk_size=32768 l4x_rd=rom/openwrt-x86-alix2-rootfs.tar.gz init=/etc/preinit");

Best Regards,

---

From: Matthias Lange mlange@sec.t-labs.tu-berlin.de To: Wajidali Whowe whowe123@yahoo.com Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Thursday, November 8, 2012 4:51 PM Subject: Re: Touchscreen   On Wed, Nov 07, 2012 at 05:19:39AM -0800, Wajidali Whowe wrote:

...

Dear Matthias,

Thank you very much for the information, the steps are clear except for the sentence "connect L4Linux to the "ev" capability of mag", could you please kindly detail this part?

You need something like this in your lua script

hid = l:new_channel()

(for L4Linux) ev = hid::svr()

(for mag) ev = hid;

Don't forget to enable the input server with l4-input-srv.enable=1 on the command line.

Matthias.

-- Dipl.-Inf. Matthias Lange mlange@sec.t-labs.tu-berlin.de Security in Telecommunications TU Berlin / Telekom Innovation Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.t-labs.tu-berlin.de/sect

Hi Matthias,

Somehow, the proc file is not mounted when the linux starts and interestingly choosing console = ttyLvx results in a panic case, therefore I have been working on qemu and console was ttyLv0 in my case. Unfortunately lsusb is not supported by the ramdisk I downloaded (drops-rd.rd, this one is from http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml#ramdisk%C2%A0)%C2%A0... I mount the proc and then the lspci result is:

00:00.0 IDE interface: Intel Corp. 82371SB PIIX3 IDE [Natoma/Triton II] 00:01.0 USB Controller: Intel Corp. 82371SB PIIX3 USB [Natoma/Triton II] (rev 01) 00:02.0 Ethernet controller: Intel Corp.: Unknown device 100e (rev 03)

However, an ifconfig -a shows only lo interface (i.e., the ethernet interface does not exists) and unfortunately USB keyboard or mouse does still not work in the real hardware...

here is the final lua script:

""""""""""""""""""""""""""""""""""""""""""""""""

hid = l:new_channel();

local linux_caps = {   log = L4.Env.log:m("rws"); vbus = io_caps.linux_bus,   rtc = rtc_caps.rtc,   ev = hid:svr(),   rom = L4.Env.rom, };

L4.default_loader:start(         {                 caps = linux_caps,         },         "rom/vmlinuz mem=256M console=ttyLv0 root=1:0 ramdisk_size=32768 l4x_rd=rom/drops-rd.rd init=/bin/sh");

local mag_caps = { mag = l:new_channel(), svc = l:new_channel(), };

l:start({           caps = {    vbus = io_caps.con_bus,    fb   = fb_caps.fb,    mag  = mag_caps.mag:svr(),    svc  = mag_caps.svc:svr(),  },  ev   = hid,            log      = { "mag", "g" },  l4re_dbg = L4.Dbg.Warn,         }, "rom/mag");

""""""""""""""""""""""""""""""""""""""""

Best Regards,

________________________________ From: Matthias Lange mlange@sec.t-labs.tu-berlin.de To: Wajidali Whowe whowe123@yahoo.com Cc: "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Monday, November 12, 2012 4:21 AM Subject: Re: Touchscreen

On 08.11.2012, at 19:08, Wajidali Whowe wrote:

Hi Matthias,

now the lua script is like this and I just added one additional linux to see whether it is working, however, still I have no usb support:

Does L4Linux shows any signs of USB during boot? What's the output of lsusb?

Matthias.

--  Dipl.-Inf. Matthias Lange mlange@sec.t-labs.tu-berlin.de Security in Telecommunications TU Berlin / Deutsche Telekom Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.fgsect.de

Just adding some bits to what Matthias already wrote.

On Tue Nov 13, 2012 at 12:17:16 -0800, Wajidali Whowe wrote:

Somehow, the proc file is not mounted when the linux starts and interestingly choosing console = ttyLvx results in a panic case, therefore I have been working on qemu and console was ttyLv0 in my case. Unfortunately lsusb is not supported by the ramdisk I downloaded (drops-rd.rd, this one is from http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml#ramdisk%C2%A0)%C2%A0... I mount the proc and then the lspci result is:

00:00.0 IDE interface: Intel Corp. 82371SB PIIX3 IDE [Natoma/Triton II] 00:01.0 USB Controller: Intel Corp. 82371SB PIIX3 USB [Natoma/Triton II] (rev 01) 00:02.0 Ethernet controller: Intel Corp.: Unknown device 100e (rev 03)

However, an ifconfig -a shows only lo interface (i.e., the ethernet interface does not exists)

My guess would be a missing e100 driver in L4Linux

and unfortunately USB keyboard or mouse does still not work in the real hardware...

here is the final lua script:

""""""""""""""""""""""""""""""""""""""""""""""""

hid = l:new_channel();

local linux_caps = {   log = L4.Env.log:m("rws"); vbus = io_caps.linux_bus,   rtc = rtc_caps.rtc,   ev = hid:svr(),   rom = L4.Env.rom, };

L4.default_loader:start(         {                 caps = linux_caps,         },         "rom/vmlinuz mem=256M console=ttyLv0 root=1:0 ramdisk_size=32768 l4x_rd=rom/drops-rd.rd init=/bin/sh");

local mag_caps = { mag = l:new_channel(), svc = l:new_channel(), };

l:start({           caps = {    vbus = io_caps.con_bus,    fb   = fb_caps.fb,    mag  = mag_caps.mag:svr(),    svc  = mag_caps.svc:svr(),  },  ev   = hid,            log      = { "mag", "g" },  l4re_dbg = L4.Dbg.Warn,         }, "rom/mag");

'ev' needs to go into the 'caps' block. Also remove the vbus, you'd only need it for input device access which is routed via Linux in your setup.

Adam

Dear all,

with the following script, even the linux kernel does not start running... Are you sure that the vmlinuz would behave as a server if I activate "L4_Server_INPUT and L4_SERVER" ? Because what I have realized is that the Mag is always waiting for the server if ev = hid is inside the caps of Mag and the vmlinuz does not start if ev = hid:srv() is in the caps of vmlinuz like the following:

hid = l:new_channel();  L4.default_loader:start(         {                 caps = {                         ev = hid:srv(),                          log = L4.Env.log:m("rws");                         vbus = io_caps.linux_bus,                         rtc = rtc_caps.rtc,                         rom = L4.Env.rom,                 },         },         "rom/vmlinuz.android mem=256M console=ttyLv0 root=1:0 ramdisk_size=32768 l4x_rd=rom/drops-rd.rd init=/bin/sh");

local mag_caps = {         mag = l:new_channel(),         svc = l:new_channel(), };

l:start({           caps = {                 ev = hid,                  vbus = io_caps.con_bus,                 fb   = fb_caps.fb,                 mag  = mag_caps.mag:svr(),                 svc  = mag_caps.svc:svr(),           },           log      = { "mag", "g" },           l4re_dbg = L4.Dbg.Warn,         },         "rom/mag");

Best Regards,

________________________________ From: Wajidali Whowe whowe123@yahoo.com To: Adam Lackorzynski adam@os.inf.tu-dresden.de; "l4-hackers@os.inf.tu-dresden.de" l4-hackers@os.inf.tu-dresden.de Sent: Thursday, November 15, 2012 11:32 AM Subject: Re: Touchscreen

Dear Adam,

thanks for the reply, but I thought that the vmlinuz is not allowed to reach io ports and hardware as it is not allowed by fiasco. That is the reason why the io ist started with the following part... Once I use the "use pci" option for the vmlinuz, then I might see the USB devices and so on (through the io), on the contrary if I deactivate the "use pci" option and remove io related part from the lua script, which gives the opportunity to comment out the vbus option, then the kernel might not be booted and I get always Invalide IO access error during boot up... Should I deactivate "Enable I/O port protection" by the fiasco?

local io_caps = {   sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);   rtc = l:new_channel():svr();   con_bus = L4.default_loader:new_channel():svr();   linux_bus = L4.default_loader:new_channel():svr();   fb = L4.default_loader:new_channel():svr();   rom = L4.Env.rom;   icu = L4.Env.icu; };

L4.default_loader:startv(   {     caps = io_caps,     log = { "io", "red" },   },   "rom/io", "rom/x86-legacy.devs", "rom/l4_linux-x86.vbus");

________________________________ From: Adam Lackorzynski adam@os.inf.tu-dresden.de To: l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, November 14, 2012 8:12 PM Subject: Re: Touchscreen

Just adding some bits to what Matthias already wrote.

On Tue Nov 13, 2012 at 12:17:16 -0800, Wajidali Whowe wrote:

Somehow, the proc file is not mounted when the linux starts and interestingly choosing console = ttyLvx results in a panic case, therefore I have been working on qemu and console was ttyLv0 in my case. Unfortunately lsusb is not supported by the ramdisk I downloaded (drops-rd.rd, this one is from http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml#ramdisk

_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers