l4-hackers

l4-hackers@os.inf.tu-dresden.de

2827 discussions

Makefile in l4re
by Harini Balachandran 31 Jan '15

31 Jan '15

Sir, I have some doubts regarding makefile in l4re.What does each statement in a makefile in l4re refer to? For ex,what does REQUIRES_LIBS refer to? Thank you.

2 1

SOCKET PROGRAMMING IN L4RE
by Sushma Rao 31 Jan '15

31 Jan '15

Sir, 1.Is it possible to perform client server communication using sockets in l4re? If so, what libraries should be added to the code? 2.Does l4re supports native c++ code or should we write specific code for l4re to execute client server communication?

2 1

kobject kinvoke from ned
by teclis High Elf 31 Jan '15

31 Jan '15

Is there a way to send commands to the kinvoke method of a kobject from a ned script? I saw in l4/pkg/ned/doc/ned.dox that an IPC gate can be used to send an io stream directly from a ned script. Is there some lua sample code I could look at that shows making a kinvoke call of a kobject from a ned script? thanks

3 3

is there any step by step document?
by 水镜 29 Jan '15

29 Jan '15

hi , is there any step by step document about l4 kernel?‍

2 1

[Out-Of-Topic]How to Access Input GPIO of OMAP4460 without L4Re (direct access)
by Erry Pradana Darajati 28 Jan '15

28 Jan '15

Hi L4 Hackers, My subject seems out of topic, but i don't know where i can ask this kind of thing, and i think there are many people have a knowledge about this subject. I have a problem. I want to directly access GPIO140 (in GPIO5 ball) as input. I have a function to print the value of GPIO5_DATAIN (0x4805 B138). But when i print that out, the value of it still not changed (zero value). I Conclude, the pin still not accepting the input. I have already done these things : 1. Set GPIO5_OE to 0x1 2. See the value of MCSPI1_CS3 Pad Configuration (0x4A10 013C) and it give me value like this (0x011B 001B) which is for GPIO_140 -> MUX_MODE=gpio_140. PULLUDENABLE=0x1(enable). PULLTYPESELECT=0x1(enable). Which is in my current knowledge, is a right setting for accepting input. But still, it's still not successful So where or what did i miss ? is it still any configuration / address to set ? I appologize for the Out-of-Topic Subject .Thank you for any answer and suggestion and help. -- *Regards,* *Erry Pradana Darajati | Student of Computer Engineering* *Politeknik Elektronika Negeri Surabaya / EEPIS, Indonesia*

3 2

SERVICES
by Sushma Rao 28 Jan '15

28 Jan '15

Can you please suggest a simple kernel service(like ipc) which is not present in l4re but already existing in linux?

2 1

ERROR WHILE INSTALLING L4RE
by Sushma Rao 27 Jan '15

27 Jan '15

Sir when I execute the command make O=path/to/builddir while building l4re I got this error How to resolve it

3 2

Help in booting L4Linux(on Freescale i.MX6Q) using root file system on SD card.
by taeung 27 Jan '15

27 Jan '15

Hi, l4 hackers Is there anybody who can a bit give hints about SD card on L4 Linux to him ? On 01/26/2015 09:10 PM, Praveen B wrote: > Hi Taeung, > > Thank you very much. > > It is part of my Masters project. > My project is to run L4Android using Genode(www.genode.org > <http://www.genode.org>) framework on Freescale i.MX6 board. > But root filesystem has to be present on microSD Card. So I am trying > to enable SD card support for L4Linux right now. > > The guide describes how to enable Ethernet controller. Did you try to > enable SD card controller as well? Is it difficult than this? Yes I tried to enable SD card. But I couldn't do it. Because I didn't complete modifying 'mach_setup.c' in L4 linux to enable SD card. > > I have some doubts. > How do I give names such as, > NIC => new Device() --name: NIC > .hid = "imx6q-fec.0"; --imx6q-fec.0 > "imx6q-fec.dev" --imx6q-fec.dev > > Are they just arbitrary? Can I use any names of my choice if I want to > enable SD card support? Yes, but the name have to make a pair with the name of argument for 'l4x_register_platform_device_callback()' function. but I'm not sure it. > > The guide still uses ramdisk and not some other rootfs, isn't it? > Can I modify .cfg file so that I can boot from SD card > like(//dev/mmcblk1p1)?/ > In my opinion, in order to enable SD card in L4 you have to do as below.. 1. Register SD card in io server 2. Modify mach_setup.c for SD card 3. Modify SD card driver source code for L4 (if it is needed to enalbe SD card in L4) For anything I know, three things is my thought. Is there anybody who can a bit give hints to him ? > Thank you again for creating such a good guide for beginners like me. My pleasure, I had lots of help from l4-hackers. Thanks, Taeung > > Regards > Praveen > > > > On Mon, Jan 26, 2015 at 9:20 AM, taeung <treeze.taeung(a)gmail.com > <mailto:treeze.taeung@gmail.com>> wrote: > > Hi Praveen :-) > > Here it is > https://www.dropbox.com/s/os65yqiieay83hs/L4_Porting_and_Device_Driver_Guid… > > I'm sorry to be so late. > I forgot it. > > Cheer up ! > > Would you mind if I ask you a question about working on L4 Linux ? > Is the project homework from your university ? > > Thanks, > Taeung > > > > On 01/23/2015 06:47 PM, Praveen B wrote: >> Hi Taeung, >> >> I'm a student, working on L4Linux as part of my project. I am >> using Freescale i.MX6Q board. I'm trying to boot using root >> filesystem on SD card. But could not understand, how I could do it. >> >> It seems(from l4-hackers mailing list) that you have already >> tried to boot L4Linux using a different root filesystem than >> ramdisk on freescale i.mx6q board. >> >> Could you help me in doing this? >> >> I've read your post, >> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006463.html. >> But I could not find the file, >> https://www.dropbox.com/s/abj9ao5uk9r3w72/The_Guide_to_access_HW_on_L4Linux… >> >> It gives 404 error. *It would be very helpful if you can provide >> this file.* >> >> Please send the file or give any suggestions how I can proceed. >> >> Thank you >> Praveen > >

1 0

Clock/Power Management Framework on L4
by Li Qiu 26 Jan '15

26 Jan '15

Hi, Hackers, Under Linux, the clock framework defines programming interfaces to support software management of the system clock tree. Is there similar framerwork/server on L4 variants? Any information related to it would be useful. Thanks! -Li

2 1

User-level objects
by li94575 23 Jan '15

23 Jan '15

Hi， As I know, we can set access permissions for the kernel objects, and access to user-level objects is through IPC_Gate. So, can I set access permissions for user-level objects through the IPC_Gate? Another question is that If multiple clients need to access a particular service object, do they use different IPC_Gate or the same?

3 6

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers