l4-hackers

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

2827 discussions

Creating tasks and the l4_task_map function
by Paul Boddie 01 Oct '22

01 Oct '22

Hello, I finally got round to experimenting with L4Re again, but in attempting to investigate task creation, I seem to have some difficulties understanding the mechanism by which tasks are typically created and how the l4_task_map function might be used in the process. After looking at lots of different files in the L4Re distribution, my understanding of the basic mechanism is as follows: 1. Some memory is reserved for the UTCB of a new task, perhaps using the l4re_ma_alloc_align function (or equivalent) to obtain a dataspace. 2. A task is created using l4_factory_create_task, indicating the UTCB flexpage, with this being defined as... l4_factory_create_task(l4re_env()->factory, new_task, l4_fpage(utcb_start, utcb_log2size, L4_FPAGE_RW)) 3. A thread is created using l4_factory_create_thread. l4_factory_create_thread(l4re_env()->factory, new_thread) 4. The thread attributes are set using the l4_thread_control API. 5. The l4_thread_ex_regs function is used to set the instruction pointer (program counter) and stack pointer of the thread. 6. The l4_scheduler_run_thread function is used to initiate the thread. The expectation is that the thread will immediately fault because there is no memory mapped at the instruction pointer location. However, it seems to me that it should be possible to use l4_task_map to make a memory region available within the task's address space, although I don't ever see this function used in L4Re for anything. (The C++ API makes it difficult to perform ad-hoc searches for such low-level primitives, in my view, so perhaps I am missing use of the equivalent methods.) Tentatively, I would imagine that something like this might work: l4_task_map(new_task, L4RE_THIS_TASK_CAP, l4_fpage(program_start, program_log2size, L4_FPAGE_RX), task_program_start) Here, the program payload would be loaded into the creating task at program_start, but the new task would be receiving the payload at task_program_start, with the configured instruction pointer location occurring within the receive window (after task_program_start, in other words). There are, of course, many other considerations around creating tasks, which I have noted from looking at the different packages (libloader, l4re_kernel, moe, ned), and I am aware that a few other things need to be done to start a task such as... * Defining capability selectors and mapping appropriate capabilities to the new task. * Creating a stack for the task and populating it with arguments and environment information. * Defining a suitable pager and exception handler, with this usually being provided by the l4re binary, as I understand it. Also, when actually dealing with program loading generally, I realise that the ELF binary needs to be interpreted and the appropriate regions associated with different parts of memory, this typically being handled by the region mapper/ manager in L4Re. And there is also the matter of dynamic library loading. But here, I am just attempting to establish the basic mechanism when a task starts up. Unfortunately, the only discussion I found was this (after some initial discussion about a related topic): http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/015366.html There are various examples in Subversion (maybe somewhere in the Git repositories, too) that create tasks or threads, but I don't find them particularly helpful, apparently being oriented towards very specific applications. A previous example was referenced in the above thread for the older L4Env system (or maybe an even earlier system): http://os.inf.tu-dresden.de/pipermail/l4-hackers/2000/000384.html As for why I would be wondering about such things - a question inevitably asked in the first thread referenced above - I firstly want to be able to understand the mechanism involved, but I also want to be able to integrate work I have been doing on file paging into task creation. Although I can probably do this by customising the "app model" normally used by the different loaders, it seems that I would need to construct an alternative l4re binary, which is rather cumbersome and perhaps a weakness of the abstractions that are provided, these being rather oriented towards obtaining dataspaces via the namespace API which I don't want to have to support in my filesystem. In any case, I wonder if there are any resources that describe the use of l4_task_map and the details of the program environment within tasks. Paul

4 26

Is there a benchmark for the IPC of L4Re?
by Mincheol Sung 23 Sep '22

23 Sep '22

Hi, I am trying to measure the performance of the IPC of L4Re. I am wondering whether there is a benchmark for the IPC performance. Mincheol

2 1

Build for x86_64 bare-metal machine
by Mincheol Sung 19 Sep '22

19 Sep '22

Hi guys, I am hanging out with L4, but couldn't find instructions/tutorials for building L4Re for an x86_64 bare-metal machine. Can you point me in the right direction? Thanks in advance. Mincheol

2 1

NXP LX2160 Uboot Fail
by rib0327 11 Sep '22

11 Sep '22

Hi, I am currently trying to get the L4Re running on the NXP LX2160 with U-Boot. When I try to load a .uimage I get the following error message: FDT and ATAGS support not compiled in Thank you in advance for your help.

2 3

Problem with newest Git-Version (RPi4)
by rib0327 28 Aug '22

28 Aug '22

Hello everyone, We have a question regarding the newest Kernel version available on Git (current date: 11.08.2022). We are working on an application and have come across a problem. In a previous Git version of the Kernel we had no problem building the .uimage file; however, with the newest update we found out that the .uimage file cannot be built. Here the working version (older one): Buildung local Project exampleApp [ExampleApp_Git] ... Compiling src/main.o [ExampleApp_Git] ==> Linking exampleApp [ExampleApp_Git] ==> exampleApp built [ExampleApp_Git] ==> Installing exampleApp to local build-tree Building L4Re uimage with Application exampleApp make[1]: Entering directory '/home/dev/L4Re_Git/l4' Building entry "exampleApp". Merging images: mod00: /home/dev/L4Re_Git/build-fiasco//fiasco [436kB] mod01: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/sigma0 [36kBBuildung local Project exampleApp [ExampleApp_Git] ... Compiling src/main.o [ExampleApp_Git] ==> Linking exampleApp [ExampleApp_Git] ==> exampleApp built [ExampleApp_Git] ==> Installing exampleApp to local build-tree Building L4Re uimage with Application exampleApp make[1]: Entering directory '/home/dev/L4Re_Git/l4' Building entry "exampleApp". Merging images: mod00: /home/dev/L4Re_Git/build-fiasco//fiasco [436kB] mod01: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/sigma0 [36kB] mod02: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/moe [226kB] mod03: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/l4re [117kB] mod04: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/exampleApp [174kB] [bootstrap] ... Generating bootstrap.ld [bootstrap] ... Compiling startup.o [bootstrap] ==> Linking bootstrap.elf [bootstrap] ==> Image post-processing bootstrap.elf [bootstrap] ==> bootstrap.elf built ==> Installing bootstrap.elf in image directory ==> Installing bootstrap_exampleApp in image directory ==> Installing bootstrap_exampleApp.elf in image directory [bootstrap] ... Generating bootstrap.raw ==> Installing bootstrap.raw in image directory ==> Installing bootstrap_exampleApp.raw in image directory [bootstrap] ... Generating bootstrap.uimage Image Name: L4 Image #3 Created: Thu Aug 11 09:11:24 2022 Image Type: AArch64 Linux Kernel Image (uncompressed) Data Size: 1099688 Bytes = 1073.91 KiB = 1.05 MiB Load Address: 01000000 Entry Point: 01000000 ==> Installing bootstrap.uimage in image directory ==> Installing bootstrap_exampleApp.uimage in image directory Image size(s) in bytes: bootstrap_exampleApp.elf: 1534296 bootstrap.raw: 1099688 bootstrap.uimage: 1099752 Start address: 0x1000000 --> Build-Nr: 3 [bootstrap] ==> Installing bootstrap.elf to local build-tree [bootstrap] ==> Installing bootstrap_exampleApp to local build-tree [bootstrap] ==> Installing bootstrap_exampleApp.elf to local build-tree make[1]: Leaving directory '/home/dev/L4Re_Git/l4' DONE - bootstrap_exampleApp.uimage copied to /tftp/! ] mod02: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/moe [226kB] mod03: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/l4re [117kB] mod04: /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f/exampleApp [174kB] [bootstrap] ... Generating bootstrap.ld [bootstrap] ... Compiling startup.o [bootstrap] ==> Linking bootstrap.elf [bootstrap] ==> Image post-processing bootstrap.elf [bootstrap] ==> bootstrap.elf built ==> Installing bootstrap.elf in image directory ==> Installing bootstrap_exampleApp in image directory ==> Installing bootstrap_exampleApp.elf in image directory [bootstrap] ... Generating bootstrap.raw ==> Installing bootstrap.raw in image directory ==> Installing bootstrap_exampleApp.raw in image directory [bootstrap] ... Generating bootstrap.uimage Image Name: L4 Image #3 Created: Thu Aug 11 09:11:24 2022 Image Type: AArch64 Linux Kernel Image (uncompressed) Data Size: 1099688 Bytes = 1073.91 KiB = 1.05 MiB Load Address: 01000000 Entry Point: 01000000 ==> Installing bootstrap.uimage in image directory ==> Installing bootstrap_exampleApp.uimage in image directory Image size(s) in bytes: bootstrap_exampleApp.elf: 1534296 bootstrap.raw: 1099688 bootstrap.uimage: 1099752 Start address: 0x1000000 --> Build-Nr: 3 [bootstrap] ==> Installing bootstrap.elf to local build-tree [bootstrap] ==> Installing bootstrap_exampleApp to local build-tree [bootstrap] ==> Installing bootstrap_exampleApp.elf to local build-tree make[1]: Leaving directory '/home/dev/L4Re_Git/l4' DONE - bootstrap_exampleApp.uimage copied to /tftp/! And now the faulty one (latest version): Buildung local Project exampleApp [ExampleApp_Git] ==> Linking exampleApp aarch64-linux-gnu-ld: cannot find ./src/main.o: No such file or directory make[1]: *** [/home/dev/L4Re_Git/l4/mk/prog.mk:125: exampleApp] Error 1 make: *** [/home/dev/L4Re_Git/l4//mk/binary.inc:159: /home/dev/L4Re_Git/build-l4re/ext-pkg/home/dev/L4Re_Dev/ExampleApp_Git/OBJ-arm64_armv8a-l4f] Error 2 Building L4Re uimage with Application exampleApp make[1]: Entering directory '/home/dev/L4Re_Git/l4' Could not find 'exampleApp' within paths /home/dev/L4Re_Git/build-fiasco/ /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a /home/dev/L4Re_Git/build-l4re/bin/arm64_armv8a/l4f /home/dev/L4Re_Git/build-l4re/lib/arm64_armv8a /home/dev/L4Re_Git/build-l4re/lib/arm64_armv8a/l4f Processing of entry exampleApp in /home/dev/L4Re_Git/l4/conf/modules.list failed! make[3]: *** No rule to make target 'processing-of-module-list-failed', needed by 'mod.make.inc'. Stop. make[2]: *** [../../../../mk/binary.inc:159: /home/dev/L4Re_Git/build-l4re/pkg/bootstrap/server/src/OBJ-arm64_armv8a] Error 2 make[1]: *** [Makefile:544: uimage] Error 2 make[1]: Leaving directory '/home/dev/L4Re_Git/l4' make: *** [Makefile:6: do-all-make-goals] Error 2 cp: cannot stat '/home/dev/L4Re_Git/build-l4re/pkg/bootstrap/server/src/OBJ-arm64_armv8a/bootstrap_exampleApp.uimage': No such file or directory DONE - bootstrap_exampleApp.uimage copied to /tftp/! This does not happen if we create the image of ‘hello’. The problem is that the main.c file in the exampleApp does not get compiled before being linked à aarch64-linux-gnu-ld: cannot find ./src/main.o: No such file or directory. Everything was added correctly in modules.list. Does it depend on the newest update or did we make a mistake somewhere? In the attachment you will also find the build_all.sh file we used to build the image and also the Makefile for exampleApp. Thank you in advance for your help. Many regards, Mauro, Ricardo

2 1

Qemu cannot launch pre-built epi images using OVMF.fd
by 郭聪 12 Jul '22

12 Jul '22

Hi, I cannot launch those amd64 pre-built epi images with Qemu 4.2.1 on Ubuntu 20.04. All the pc images are fine. I have added the '-bios /usr/share/qemu/OVMF.fd' option. There is a warning "KERNEL: Warning: ACPI: Could not find RSDP, skip init" and then "no console will be available to OS". It seems that the first warning is from Fiasco, in fiasco/src/kern/acpi.cpp. I guess this is because the ACPI version. How can I solve this issue? Does anyone see the same problem? Thank you very much!

2 2

How to build a bootable l4linux image
by 郭聪 04 Jul '22

04 Jul '22

Hi, I am new to l4re. I am trying to boot a l4re image on an amd64 machine. I use dd to write pre-built-images (efi.iso) to a usb stick. I got the "no suitable video mode found" error. My BIOS has only the UEFI mode. How can I solve this error? BTW, I find how to build grub2iso of modules, but I do not know how to build a efi.iso like those pre-built ones. Could you please tell me the steps to build such an image? How can I modify the grub.conf file? Thank you!

1 0

Unresolved page faults when running l4linux-mag
by Haohui Mai 18 Apr '22

18 Apr '22

Hello, I'm trying to run the l4linux-mag example in the L4Re snapshot. It seems it will result in an unresolved page fault using the current snapshot (22.01.0): Loading: rom/ramdisk-amd64.rd INITRD: Size of RAMdisk is 4096KiB RAMdisk from 01816000 to 01c16000 [4096KiB] l4lx_thread_create: Created thread 429 (timer0) (u:b3001c00, v:00000000, sp:01557f28) WARNING: Unknown rdmsr: c0000100 at 0x212a20 WARNING: Unknown wrmsr: c0000100 at 0x212a33 WARNING: Unknown rdmsr: c0000100 at 0x212a4f WARNING: Unknown wrmsr: c0000100 at 0x212a70 Non-resolvable page fault at 3612f82, ip 302265. Page fault (non-resolved): pfa=3612f82 pc=302265 Non-resolvable page fault at 3612f82, ip 302265. Page fault (non-resolved): pfa=3612f82 pc=302265 qemu-system-x86_64: terminating on signal 2 Changing the console from ttyS0 to ttyLv0 will go a little bit further, but still result in a page fault: BUG: unable to handle page fault for address: 0000000003612f80 #PF: user write access in kernel mode #PF: error_code(0x0006) - not-present page PGD 0 P4D 0 Oops: 0006 [#1] SMP CPU: 0 PID: 1 Comm: swapper/0 Not tainted 5.15.0-l4-ge2ad9258b98e #2 RIP: 0028:cache_alloc_refill+0x365/0x610 Code: 54 24 24 31 db 85 d2 74 2e 49 8b 44 24 50 48 85 c0 74 11 89 df 41 0f af 7c 24 14 49 03 7d 28 ff d0 0f 1f 00 49 8b 55 20 89 d8 <88> 1c 02 83 c3 01 41 39 5c 24 24 77 d2 45 85 f6 0f 85 fd 01 00 00 RSP: 319f9f00:000000001006bca0 EFLAGS: 00000246 ORIG_RAX: 00000000000000f0 RAX: 0000000000000000 RBX: 0000000000000000 RCX: 6db6db6db6db6db7 RDX: 0000000003612f80 RSI: 0000000000000001 RDI: 0000000000e57840 RBP: 000000000000003c R08: 00000000000194ff R09: 0000000000000002 R10: 00000000000194f8 R11: 0000000000000006 R12: 000000001001fc00 R13: 00000880000bd3f0 R14: 0000000000000400 R15: 0000000000000dc0 FS: ffffffffffffffff(0000) GS:ffffffffffffffff(0000) knlGS:ffffffffffffffff CS: 0028 DS: 0023 ES: 0023 CR0: ffffffffffffffff CR2: ffffffffffffffff CR3: ffffffffffffffff CR4: ffffffffffffffff Call Trace: ? idr_alloc_cyclic+0x52/0xb0 kmem_cache_alloc+0xc7/0xe0 __kernfs_new_node.constprop.0+0x59/0x1a0 ? vsnprintf+0x3e6/0x5b0 ? kernfs_link_sibling+0x8d/0xd0 ? kernfs_next_descendant_post+0x7d/0x90 ? kernfs_activate+0x5a/0x80 ? kernfs_add_one+0xdd/0x130 kernfs_new_node+0x1b/0x40 __kernfs_create_file+0x20/0xb0 sysfs_add_file_mode_ns+0x96/0x180 sysfs_create_file_ns+0x5d/0x90 bus_create_file+0x3f/0x60 bus_register+0x180/0x240 subsys_system_register+0x16/0x40 ? ntp_init+0x21/0x21 init_clocksource_sysfs+0xe/0x1f do_one_initcall+0x44/0x190 kernel_init_freeable+0x161/0x1ab ? rest_init+0xb0/0xb0 kernel_init+0x11/0x100 Any ideas to debug this? Your help is appreciated. Thanks, Haohui

2 3

Where is the latest L4Linux repo?
by Haohui Mai 04 Mar '22

04 Mar '22

Greetings! I've been playing around with L4Re + L4Linux recently. I'm interested in getting the source code of L4Linux 5.13. However, it seems that the latest commit of the subversion repository (https://svn.l4re.org/repos/oc/l4linux/trunk) listed on the L4Linux website is in 2018. Since the group has just released L4Linux 5.15 recently, I'm just wondering what is the URL of the latest repository? Your help is much appreciated. Thanks, Haohui

2 1

Unable to boot hello example.
by Ashwin Krishnakumar 05 Feb '22

05 Feb '22

Hello all, I have created this issue in the manifest repo. Issue : https://github.com/kernkonzept/manifest/issues/12 I am writing it again. I am trying to boot an AMD64 and ARM64 machine using fiasco. The Fiasco and L4 build works fine. We are able to generate the final elf also successfully. However the QEMU is unable to boot the machine. IT just freezes at startup with the comment "ROM booting". 1. Fiasco building successfully [image: image.png] 1. L4 runtime built successfully [image: Screen Shot 2022-02-04 at 4 18 24 AM] <https://user-images.githubusercontent.com/16016925/152503555-8c02af0d-1177-…> 1. Able to give a boot command. However the system requires a video card. So I moved to my Linux laptop and observed that the system boots beyond this error, but is not printing hello world. [image: Screen Shot 2022-02-04 at 4 25 57 AM] <https://user-images.githubusercontent.com/16016925/152504574-72b7b2c8-58a1-…> In my local laptop it just says booting from ROM and freezes. Is there an alternate instruction for booting examples for ARM64 and AMD64 ? Regards, -- Ashwin Krishnakumar, +15714980269 ECE Graduate Student, Virginia Tech.

2 1

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