l4-hackers January 2015

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

28 participants
36 discussions

L4LINUX
by Sushma Rao 23 Jan '15

23 Jan '15

how to execute snort(IDS-Intrusion detection system) upon the paravirtualised linux layer ie.L4linux. please assist us by giving steps for its building and execution. thanks in advance :)

2 1

PROBLEM WHILE GETTING INPUT IN RUNTIME
by Sushma Rao 23 Jan '15

23 Jan '15

I successfully executed the client-server application in l4 re pkg folder. Now,I would like to implement chat server application in l4re, program does not take the values at run time. So I am unable to make client and server communicate with each other.I have included libc_be_file_stdin. kindly let me know how to make it run.If possible, can you give us the source code of simple chat server.

2 1

Is anyone has experience with pandaboard omap4460？
by Zachary 22 Jan '15

22 Jan '15

Hi, I want to buy a pandaboard to run L4Android. Dose L4Android supports omap4460? Is anyone has experience with it? Best, Zachary

5 12

executing snort(IDS)on l4 linux
by Vidya Lakshmi 22 Jan '15

22 Jan '15

Greetings sir, We have been trying to run networking applications like IDS (SNORT) in L4RE. We are able to run IDS on Ubuntu. Can we use the same IDS application on the para-virtualized Linux(L4 Linux) environment without modifying the IDS application OR should we generate modules.list and conf files for its execution. Also please suggest us any network security application to run on l4RE-FIASCO.OC. Please guide us. Thanking you, Regards R.Vidya Lakshmi

2 1

client server communication
by Gayathri Nagarajan 22 Jan '15

22 Jan '15

I executed the simple client server application, which is inside the l4 pkg directory of l4re. But, in that application, input is given inside the program itself. I want to take the input from user and send it to server through IPC GATE and the server has to respond to client (which will again be given by user). I tried using scanf, cin, sscanf, io.read...but the program takes only the garbage values. I am unable to give input in qemu... It would be helpful if some sample code is given for such kind of applications wherein the user inputs at run time... Gayathri

1 0

L4linux build problem
by Gayathri Nagarajan 21 Jan '15

21 Jan '15

I am trying to build l4linux. Version of l4linux - 3.16.0 I am using fiasco.oc and l4re I configured using the command : sudo make O=build/kernel menuconfig and changed the path to l4re build directory in l4linux configuration. The following errors come when I build it. user@user-VirtualBox:~/src/l4re/src/l4linux$ sudo make O=build/kernel make[1]: Entering directory `/home/user/src/l4re/src/l4linux/build/kernel' GEN ./Makefile scripts/kconfig/conf --silentoldconfig Kconfig =============================================== For quick build instructions, please visit: http://wiki.tudos.org/Quickstart http://l4linux.org/build.shtml =============================================== ERROR: CONFIG_HIGHMEM64G must not be enabled. ERROR: CONFIG_PCI_GOANY must not be enabled. ERROR: CONFIG_X86_MCE must not be enabled. ERROR: CONFIG_X86_MCE must not be enabled. ERROR: CONFIG_MTRR must not be enabled. ERROR: CONFIG_PARAVIRT must not be enabled. ERROR: CONFIG_KEXEC must not be enabled. ERROR: CONFIG_CPU_FREQ must not be enabled. ERROR: CONFIG_VM86 must not be enabled. ERROR: CONFIG_HT_IRQ must not be enabled. ERROR: CONFIG_DMI must not be enabled. ERROR: CONFIG_TRANSPARENT_HUGEPAGE must not be enabled. ERROR: CONFIG_COMPACTION must not be enabled. ERROR: CONFIG_X86_PAE must not be enabled. ERROR: CONFIG_X86_SMAP must not be enabled. ERROR: CONFIG_PNP must not be enabled. ERROR: CONFIG_HPET_TIMER must not be enabled. make[1]: *** [check_linux_config] Error 1 make: *** [sub-make] Error 2 I tried reconfiguring again to diable the features mentioned above. But I could not find the location of the above features in the menu-based window. Please help to resolve the problem. Gayathri

2 1

Device Driver Terminology
by teclis High Elf 21 Jan '15

21 Jan '15

Hi maybe this is an overly pedantic point but is there a specific term for device drivers in L4Re? In QNX they call them resource managers because they perform the same function as a device driver in a monolithic OS such as Linux but they run in their own address space like a POSIX process and behave like daemon. User space driver isn't really appropriate either because they don't have the same restrictions as user space drivers in a monolithic OS.

3 2

Re: Bash-script with l4re-App
by Björn Döbel 20 Jan '15

20 Jan '15

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Waldo, please send your questions to the l4-hackers(a)os.inf.tu-dresden.de mailing list. On 19.01.2015 20:59, Waldo Paz Rodriguez wrote: > hello l4hacker, I am working with yse5250 card and I need in > implement a driver for a sensor of this card, using L4Re, but I > cant find an example of make this. Can you help me? That is a fairly vague question, so I can only give you a vague answer. In general, device drivers request IO resources (IRQs, IO memory) from a resource manager and then use these resources to manage their device. The interface to request those resources is specified by the IO libraries, which you find either in l4/pkg/libio-direct or l4/pkg/libio-io. Some example drivers can be found in l4/pkg/drivers. If you have more specific questions, please do not hesitate to ask them on the mailing list. Hth, Bjoern - -- Dr.-Ing. Bjoern Doebel Mail: doebel(a)tudos.org TU Dresden, OS Chair Phone: +49 351 463 38 799 Noethnitzer Str. 46 Fax: +49 351 463 38 284 01187 Dresden, Germany WWW: http://www.tudos.org/~doebel - -- "When the seagulls follow the trawler, it's because they think sardines will be thrown into the sea." (Eric Cantona) -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlS+GbUACgkQP5ijxgQLUNnVkACeImBFYz/a1sEMWFYz4FJhOhvI uZkAnRuFmsAEzjsK2f73LVfND22kMNnI =XnBR -----END PGP SIGNATURE-----

1 0

Compare security of normal OS and Fiasco.oc with L4re
by Gayathri Nagarajan 19 Jan '15

19 Jan '15

How to show that an application running on l4re with fiasco.oc is more secure than running the same application on normal operating system? Which application can be chosen for proving the security aspects of l4re? Some of which that I know are 1. DMS - Denial of mitigation system 2. IDS - Intrusion Detection system 3. Firewall etc... But I want a very basic and simple application to demonstrate the security when compared with running the same on normal os. Help needed. Gayathri

2 1

build system library path
by teclis High Elf 15 Jan '15

15 Jan '15

If I create a new library is there a library include path in the Fiasco/L4Re build system that I need to add my new library to before I can link to it? thanks

2 1

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 January 2015