l4-hackers January 2011

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

15 participants
21 discussions

Can't access memory region
by Jason Philip 03 Feb '11

03 Feb '11

I need to have access to the VGA port and register. The register I need access in the range of 0x300 to 0x400 so I try getting a 1KB page from 300 onward, but it do not work. I suspect it do not work because it is I/O FPage and they have to align to (in this case 1kB) address. Could anyone help me access these port?

2 5

Fiasco Kernel extended V2 API vs. Pistachio X2 API
by Daniel Waddington - SISA 27 Jan '11

27 Jan '11

Hi, Can someone briefly explain the basic differences between the current Fiasco kernel API and the Pistachio X2 API? Thanks Daniel Waddington

3 2

I cannot for the life of me compile l4linux
by Daniel F. Haaland 27 Jan '11

27 Jan '11

l4re and fiasco seem to be working just fine (tested by running the hello world in qemu), but trying to add l4linux on top of l4re has caused me a lot of grief and the following error message: Getting required compilation flags failed. L4OBJ: /home/drxl/l4stuff/builddirs/L4Re-R27MP L4_REQUIRED_MODS: stdlibs log l4re_c-util libio shmc /home/drxl/l4stuff/src/l4linux/arch/l4/Makefile:301: *** Aborting.. Stop. make: *** [sub-make] Error 2 zsh: exit 2 make O=$MY_L4LINUX_OBJDIR I've detailed how I got to that point in painstaking detail here: http://blog.fairchild.dk/notes/2011/01/25/getting-l4linux-up-and-running/ In short I've begged, bargained and even resorted to shell-foo like: find . -type f -name 'Makefile' -exec grep -Hn REQUIRE {} \; |\ sed -e 's,$.*$\\$,\1,g' -e 's,^.*=$.*$$,\1,g' | sed -n 'H;${g;s/\n//gp}'| \ sed -e 's,[ ]*$[^ ]*$,\1\n,g' | sort -u | uniq | xargs -I ® svn update ® in the l4/pkg dir, to try and fix any unmet dependencies, but to no avail. So I guess I wouldn't mind a little help at this point. best regards Daniel

2 3

Processor compatibility
by Jason Philip 26 Jan '11

26 Jan '11

Is Pistachio compatible with Intel Celeron processor?

3 3

PCI Bus access
by Jason Philip 25 Jan '11

25 Jan '11

I am planning to interfacing the PCI bus using L4, however, I do not quite know how PCI interface works. I know that there is three memory region: configuration space, I/O space and Memory space, and that configuration space is use to detect and configure the device, but I do not know where any of this space are located and the protocol for interfacing them. Please help.

2 1

Privilege threads
by Jason Philip 24 Jan '11

24 Jan '11

how do you create privileged threads?

2 1

PingPong not working
by Jason Philip 23 Jan '11

23 Jan '11

I tried to build kernel and user level applications, but them don't work. When I boot the kernel using QEMU it tell me "loading kernel" but never go further. I try use user level application from earlier version and they work but I can't get my own build to work, why this happening?

3 5

Issue with building L4RE:multiple definition error
by WangKevis 21 Jan '11

21 Jan '11

Hi, when I was doing the building of L4RE as the building instructions, the follwing problems hit me: make[4]: Entering directory `/home/kaikai/embedded/obj/tuduos/pkg/lua/interpr/OBJ-x86_586-l4f' ... Compiling interpr.o ==> Linking lua /home/kaikai/embedded/obj/tuduos/lib/x86_586/l4f/libl4re-vfs.o.a: In function `__L4_STACK_ADDR__': (*ABS*+0xb0000000): multiple definition of `__L4_STACK_ADDR__' /home/kaikai/embedded/obj/tuduos/lib/x86_586/l4f/libl4re-vfs.o.a: In function `__L4_KIP_ADDR__': (*ABS*+0xaffff000): multiple definition of `__L4_KIP_ADDR__' make[4]: *** [lua] Error 1 make[4]: Leaving directory `/home/kaikai/embedded/obj/tuduos/pkg/lua/interpr/OBJ-x86_586-l4f' make[3]: *** [/home/kaikai/embedded/obj/tuduos/pkg/lua/interpr/OBJ-x86_586-l4f] Error 2 make[3]: Leaving directory `/home/kaikai/embedded/mybuild/src/l4/pkg/lua/interpr' make[2]: *** [interpr] Error 2 王凯凯

2 1

problem building L4Linux, comments welcome
by eric van tassell 19 Jan '11

19 Jan '11

I was endeavoring to follow http://wiki.tudos.org/Quickstart. Below's the tail of the build log. Thanks for any suggestions. L4 source directory: /home/evt/wrk/L4/TUD/forest1/src/l4 PWD=/home/evt/wrk/L4/TUD/forest1/src/l4 make -C /home/evt/wrk/L4/TUD/forest1/src/l4 -f /home/evt/wrk/L4/TUD/forest1/src/l4linux/arch/l4/Makefile.l4conf O=/home/evt/wrk/L4/TUD/forest1/src/l4/out L4X_LOOP_CHECK=1 OUTPUT=/home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makeconf.l4conf GEN /home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makeconf.l4conf GEN /home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makefile scripts/kconfig/conf --silentoldconfig arch/l4/Kconfig Getting required compilation flags failed. L4OBJ: /home/evt/wrk/L4/TUD/forest1/src/l4/out L4_REQUIRED_MODS: stdlibs log l4re_c-util libio shmc rtc /home/evt/wrk/L4/TUD/forest1/src/l4linux/arch/l4/Makefile:301: *** Aborting.. -- - evt (Eric van Tassell) twitter: evt_texelsoft linked-in: linkedin.com/in/evttxl

2 4

demo cd question
by eric van tassell 17 Jan '11

17 Jan '11

Should the demo CD iso image from http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml boot in VirtualBox? It definitely does not on my alienware m17x hardware. I do have an older machine I can try. -- - evt (Eric van Tassell) twitter: evt_texelsoft linked-in: linkedin.com/in/evttxl

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 2011