Hi,
When I run the 'lsusb' command, it tells me 'lsusb: applet not found' message. How do I solve this ?
When I plugin a USB flash drive into the system, I get a weird message. It must be plugged in for the first time into the USB port and after that subsequent USB drives will not spawn the message again.
[ 14.935514] Clocksource tsc unstable (delta = 200916449 ns) [ 14.826599] Switching to clocksource l4kipclk
I am missing something in the L4Linux/Fiasco.OC build image I made to enable USB support ?
Are the clocksource and lsusb messages correlated ?
Hi,
On 07/23/2015 10:37 AM, Thotheolh Tay wrote:
Hi,
When I run the 'lsusb' command, it tells me 'lsusb: applet not found' message. How do I solve this ?
When I plugin a USB flash drive into the system, I get a weird message. It must be plugged in for the first time into the USB port and after that subsequent USB drives will not spawn the message again.
[ 14.935514] Clocksource tsc unstable (delta = 200916449 ns) [ 14.826599] Switching to clocksource l4kipclk
I am missing something in the L4Linux/Fiasco.OC build image I made to enable USB support ?
Are the clocksource and lsusb messages correlated ?
L4Linux is just a Genode application, therefore it will not have access to any hardware out of the box. Even if you enable USB support within the L4Linux kernel, some work has to be done on the Genode side to give L4Linux access to the IO memory and the interrupt of the USB host controller. The other way would be to write a Linux-stub driver that directly communicates with Genode's USB driver.
Cheers,
Sebastian
Hi Sebastian,
Put it simply, the lsusb message is an expected response due to L4Linux not able to access USB from Genode's side which requires creating some form of bridge to allow L4Linux USB to use Genode USB ? On 28 Jul 2015 22:41, "Sebastian Sumpf" <Sebastian.Sumpf@...1...> wrote:
Hi,
On 07/23/2015 10:37 AM, Thotheolh Tay wrote:
Hi,
When I run the 'lsusb' command, it tells me 'lsusb: applet not found' message. How do I solve this ?
When I plugin a USB flash drive into the system, I get a weird message. It must be plugged in for the first time into the USB port and after that subsequent USB drives will not spawn the message again.
[ 14.935514] Clocksource tsc unstable (delta = 200916449 ns) [ 14.826599] Switching to clocksource l4kipclk
I am missing something in the L4Linux/Fiasco.OC build image I made to enable USB support ?
Are the clocksource and lsusb messages correlated ?
L4Linux is just a Genode application, therefore it will not have access to any hardware out of the box. Even if you enable USB support within the L4Linux kernel, some work has to be done on the Genode side to give L4Linux access to the IO memory and the interrupt of the USB host controller. The other way would be to write a Linux-stub driver that directly communicates with Genode's USB driver.
Cheers,
Sebastian
-- Sebastian Sumpf Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Sebastian Sumpf -
Thotheolh Tay