- l4-hackers - example.com Site

bbclone fbdrv lcd problem
by gaober 09 Jul '12

09 Jul '12

hiHi, On Wed Jun 22, 2011 at 12:54:50 +0400, Vasily Sartakov wrote: >> I try to start ex_fb_spectrum example on beagleboard clone with 7" >> 480x800 LCD and have error in fbdrv//lcd-omap3.c: >> when a i call any l4vbus_i2c* and l4vbus_gpio function i have return >> -38 --- ENOSYS error >> whats may be wrong? >The problem is that 'io' does not currently implement any of the i2c and >gpio functionality. There was some experiment some longer time ago from >which that code is from.now i am doing some work on touchscreen driver.my board is omap3530,with tcs2046.i see there is l4vbus_mcspi* function,but i cann't find the code for the tcs control device operating.maybe the snapshot doesn't have the "server"?can you offer me some example ,maybe some codes of lcd, i think it's great useful for me.thank you very much! >For the beagleboard the LCD is configured by u-boot and can then just be >used. Isn't that approach possible with your board? Wilbert Gao

2 1

Re: l4linux GPU direct access
by Abhishek Gupta 09 Jul '12

09 Jul '12

Hi Adam, I have checked the xserver code and found that the DEFAULT_INT10 was already set to x86emu and it was already using x86emu to execute the int10. Also, there is one more mode vm86 in which int10 can be executed but it uses the vm86 system call which is not supported in l4linux. Is there a way to add vm86 system call to the l4linux? Also, I have tried with video drivers cirrus, qxl but none of them worked. I tried Ubuntu on vmware player and it uses vmware video driver to run xserver and does not uses int10. Abhishek Gupta

2 3

problem about ipc
by gaober 09 Jul '12

09 Jul '12

hi! 1.i find there is l4_ipc_error( ) ops like that in .h files,but where can i find the implementation of that func? 2.l4_ipc_error( ),return 4,i look up in l4re document it means L4_ENOT_EXISTENT.but how can i solve that? thanks! 发自 Android 版 Yahoo! 邮箱

2 1

L4Android effort appreciated
by John van V. 07 Jul '12

07 Jul '12

Hello all, I just want to send out a message of appreciation (speaking for a world of users) thanking you for all this effort to put the user directly onto the OS, that is by removing the long-obsolete Linux monolithic kernel. Ultimately, I would like to see "the app" go away and to see the OS directly to support the human mind to work as it does naturally collaboratively, the whole point behind internetworking. Thanks, again...

1 0

Mount SD card partition as rootfs
by Pierre Larus 04 Jul '12

04 Jul '12

Hi, I am currently trying to mount a SD card partition as L4Linux rootfs. I am using a beagleboard. The first flash card partition (fat32) is mounted by U-boot and contains the L4Linux kernel . The second partition (ext3) contains the rootfs. I have compiled L4Linux to support SD card et Ext3 filesystem and configured L4 to give to L4Linux access to the MMC device through a virtual bus. But the SD card partitions are not available in L4Linux. Do I forget something ? Regards, Pierre Larus ------------------------------------------------------------------- entry l4LinuxUcos kernel fiasco -serial_esc roottask moe rom/l4lx.cfg module l4re module ned module io module l4lx.cfg module vmlinuz.arm module beagle.devs module beagle.io ------------------------------------------------------------------- hw-root { # MultiMediaCard 1 2 3 mmc => new Device() { .hid = "OMAP_HSMMC"; new-res Mmio(0x4809c000 .. 0x4809dfff); new-res Mmio(0x480b4000 .. 0x480b5fff); new-res Mmio(0x480ad000 .. 0x480aefff); } } mmiodev => new System_bus() { mmc => wrap(hw-root.mmc); } ------------------------------------------------------------------- local lxname = "vmlinuz.arm"; local DeviceFile = "beagle.devs" local IOFile = "beagle.io" local loader = L4.default_loader; local io_bus = loader:new_channel(); loader:start({ caps = { mmiodev = io_bus:svr(), icu = L4.Env.icu, sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0), }, }, "rom/io -vv rom/" .. DeviceFile .. " rom/" .. IOFile); loader:start( { caps = { vbus = io_bus, icu = L4.Env.icu, log = L4.Env.log:m("rws"), }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/" .. lxname .. " root=/dev/mmcblk0p2 rw rootfstype=ext3 init=/sbin/init console=ttyLv0"); --------------------------------------------------------------------------------------- ... L4 serial driver ttyLv0 at MMIO 0x1 (irq = 210) is a L4 L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded l4bdds: No name given, not starting. mousedev: PS/2 mouse device common for all mice sdhci: Secure Digital Host Controller Interface driver sdhci: Copyright(c) Pierre Ossman TCP cubic registered NET: Registered protocol family 17 VFS: Cannot open root device "mmcblk0p2" or unknown-block(0,0) Please append a correct "root=" boot option; here are the available partitions: Kernel panic - not syncing: VFS: Unable to mount root fs on unknown-block(0,0) [<00129d68>] (unwind_backtrace+0x0/0xf0) from [<00335858>] (panic+0x58/0x178) [<00335858>] (panic+0x58/0x178) from [<00100aa0>] (mount_block_root+0x1d4/0x294) [<00100aa0>] (mount_block_root+0x1d4/0x294) from [<00100e24>] (prepare_namespace +0x164/0x1bc) [<00100e24>] (prepare_namespace+0x164/0x1bc) from [<00100794>] (kernel_init+0xe4 /0x118) [<00100794>] (kernel_init+0xe4/0x118) from [<00122410>] (kernel_thread_exit+0x0/ 0x8) panic: going to sleep forever, bye l4linux | panic: going to sleep forever, bye

2 1

Startup help for L4Linux
by Andrej S 02 Jul '12

02 Jul '12

Hallo all, I'm absolutely new to L4 and need some startup help. I'm able to build Fiasco with L4Re and L4Linux, but I have no plan, how to bind them together. I miss some simple how-to, to get an instance of L4Linux on top of Fiasco like bootable image as well as how to run it under Fiasco-UX Can you provide some instructions and how-tos? Interesting papers and hints for development and debugging are welcome too. Thanking you in anticipation Andrej

3 4

l4linux, making progress
by Ryan Brown 28 Jun '12

28 Jun '12

I've managed to get my l4linux build to start running, but it doesn't seem to get far: l4linux | libio: Warning: Finding 'icu' in system bus failed with 'No such object found' 4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=005d1000 l4linux | phys=00400000 ephys=005d1000 l4linux | f_sz=001d0cb8 memsz=001d1000 flgs=r-x l4linux | PH 1 (t: 1) offs=001d2000 vaddr=005d1000 vend=00d36000 l4linux | phys=005d1000 ephys=00d36000 l4linux | f_sz=006c4c10 memsz=00765000 flgs=rw- l4linux | PH 2 (t: 4) offs=0015df14 vaddr=0055cf14 vend=0055cf38 l4linux | phys=0055cf14 ephys=0055cf38 l4linux | f_sz=00000024 memsz=00000024 flgs=--- l4linux | Starting binary at 0x400000, argc=3 argv=0x80007f9c *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux | External resolver is at 0xa80006e0 l4linux | ======> L4Linux 2.6 starting... <======== l4linux | Linux version 3.0.0-l4-svn23 (ribrdb(a)ribox.sfo.corp.google.com) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1) ) #10 Wed Jun 27 16:00:19 PDT 2012 l4linux | Binary name: rom/vmlinuz l4linux | Linux kernel command line (2 args): mem=200M console=ttyLv0 l4linux | Configuration checks disabled, you know what you're doing. l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 00400000 - 00d36000 [9432 KiB]. l4linux | Areas: Text: 00400000 - 005d1000 [1860kB] (a bit longer) l4linux | Data: 005d1000 - 005edc60 [115kB] l4linux | Initdata: 005ef000 - 00c96000 [6812kB] l4linux | BSS: 00c96000 - 00d26000 [576kB] l4linux | gs=43 fs=43 l4linux | Device scan: l4linux | l4x_fiasco_gdt_entry_offset = 9 Then it just stops. What's happened here? Should I see more output? Or does the kernel output go somewhere else? I've compiled my kernel with an initramfs that does an "echo hello init" at the beginning of init, but I never see that. Do I need to worry about that 'icu' 'No such object found'? I tried adding a capability to icu for l4linux, but that didn't seem to help. Also, I'm having trouble getting my io config correct. IO prints out: io | Loading: config 'rom/l4lx-virtio.io' io | rom/l4lx-virtio.io:7.37-50: warning: could not find 'PCI/VEN_1AF4' but then later on I see: io | P6Device: S4__ "" io | Hw::Device[S4__] io | 0000:00:04.0: display controller [0] io | 0x1af4 0x1000 io | Red Hat, Inc Virtio network device io | IOPORT [0000000000c000-0000000000c03f 40] non-pref (32bit) (align=3f flags=4a03) io | IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=104201) What's up with that? Here's my settings: modules.list: entry L4Linux-virtio kernel fiasco -serial_esc roottask moe rom/l4lx-virtio.cfg module l4re module ned module l4lx-virtio.cfg module io module rtc module x86-legacy.devs module l4lx-virtio.io module vmlinuz l4lx-virtio.cfg loader = L4.default_loader; bus_linux = loader:new_channel(); bus_rtc = loader:new_channel(); rtc_cap = loader:new_channel(); loader:start({ caps = { rom = rom; sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); l4linux = bus_linux:svr(); icu = L4.Env.icu; rtc_bus = bus_rtc:svr(); }, log = { "io", "red" }, }, "rom/io -vvvv rom/x86-legacy.devs rom/l4lx-virtio.io"); loader:start({ caps = { rom = rom; vbus = bus_rtc; rtc = rtc_cap:svr(); }, log = { "rtc", "green" }, }, "rom/rtc"); L4.default_loader:start( { caps = { log = L4.Env.log:m("rws"); vbus = bus_linux; rtc = rtc_cap; }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/vmlinuz mem=200M console=ttyLv0 "); l4lx-virtio.io l4linux => new System_bus() { # Add a new virtual PCI root bridge PCI0 => new PCI_bus() { # Allow access to virtio devices. pci_l4x[] => wrap(hw-root.match("PCI/VEN_1AF4")); } }

2 4

starting mag in l4con virtual console
by Valery V. Sedletski 27 Jun '12

27 Jun '12

hi, l4-hackers! I'm now experimenting with l4con from l4re. I found that now l4con is exporting the console access via Goos interface. And l4dope is started in Mag buffer. And equally, because l4con exports the same interface, it can be started in l4con virtual console. I tried that, it works perfectly. Then I tried the same with Mag in l4con buffer. -- It even starts, but the mouse isn't moving. I looked into Mag source, and discovered that Mag has plugins. But I have no idea how to use them. Can you give me a hint? Also, I found that there is two input plugins, one of them using event interface, other using libinput library. I suspect that I must to use the event one, but how? I start Mag the same way as DOpE. The single difference from the usual way of starting Mag is that vbus cap is missing (I gave the vbus cap to l4con, so, I think that Mag should not access input devices directly via vbus_input, but what instead?) So, I have the following output from Mag: [32mmag | libio: Warning: Query of 'vbus' failed![0m [32mmag | Hello from MAG[0m [32mmag | mapped frame buffer at 0x400000[0m [32mmag | View::Info:[0m [32mmag | flags: 0[0m [32mmag | size: 800x582 pos: 0, 0[0m [32mmag | bytes_per_line: 1600[0m [32mmag | buffer_offset: 0[0m [32mmag | RGBA(2): 5(11):6(5):5(0):0(0)[0m [32mmag | memory 400000-4e3580[0m [32mmag | L4INPUT native mode activated[0m [37ml4con | vc[4] 800x600@16, bpl:1600, gmode:0x0 save:1[0m [32mmag | L4INPUT: !!! W A R N I N G !!![0m [32mmag | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.[0m [32mmag | L4INPUT: !!! W A R N I N G !!![0m[32m[0m [32mmag | /media/os2l/var/src/genode/l4re/svn/l4/pkg/input/lib/src/init.c:110: failed l4input_internal_i8042_init(): -16[0m I found in the event input plugin source that it requires the "ev" cap. But where I can get it from? I start Mag this way: loader = L4.default_loader; ... local mag_svc = loader:new_channel(); -- Start mag loader:start( { caps = { fb = con_svc:create(L4.Proto.Goos, "g=800x600"); svc = mag_svc:svr(); }, l4re_dbg = L4.Dbg.Warn, log = {"mag", "green"}, }, "rom/mag"); Thanks in advance! WBR, valery

2 4

RE: Re: Keeping track of the CPU time for a thread
by Mohammad A Haque 27 Jun '12

27 Jun '12

Thank you for your reply. Just to test the functionality, I tried a very simple thread. It computes a factorial for some number of iterations. void entry_point(void * param) { int num_run = 1000000; int number = 15; int fact; thread_t self = env()->self(); for(int i=0;i<num_run;i++) { fact = 1; for(int j = 2; j<= number; j++) { fact = fact * j; } } printf("Factorial of %d is : %d\n", number, fact); l4_thread_stats_time(self.cap()); printf("Consumed time: %llu\n",l4_utcb_mr()->mr[0]); } What I found is - the consumed time does not depend on the number of iterations (num_run) - I tried from 1 to a very large number. It does vary with the number. Am I missing something? Thanks again. ---------------------------------------------------------------------- Date: Sun, 24 Jun 2012 23:29:25 +0200 From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> To: l4-hackers(a)os.inf.tu-dresden.de Subject: Re: Keeping track of the CPU time for a thread Message-ID: <20120624212925.GC1246(a)os.inf.tu-dresden.de> Content-Type: text/plain; charset=iso-8859-1 Hi, On Thu Jun 21, 2012 at 17:44:25 +0000, Mohammad A Haque wrote: > I want to measure how much CPU time a thread has consumed. When the > CPU time consumption exceeds a certain limit (specific to that > thread), I want to raise an interrupt. Please suggest me how can I do > it efficiently? The L4::Thread interface has the stats_time function to get the consumed time of a thread (FINE_GRAINED_CPUTIME in the kernel might be of interest here). Triggering an interrupt goes with its trigger function. Then it's just about plugging this together. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 1

l4con
by Valery V. Sedletski 25 Jun '12

25 Jun '12

Hi again I forgot to ask, can l4con directly access video hardware? I knew that it supports some video acceleration features with, for example, Matrox cards (I have Matrox Millenium G400). So, can I use it with l4con video acceleration? If so, how to enable it? Is it detected automatically? Have you any plans for enancing fb_drv to support the video acceleration? There were some libraries used in Linux to support framebuffer acceleration. They could be ported to l4re... WBR, valery

2 1