l4/sys/syscalls.h: No such file or directory

Björn Döbel doebel at os.inf.tu-dresden.de
Mon Sep 15 09:18:25 CEST 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

> Besides, I'm getting a huge list of kernel warnings with the new 
> l4_fpage call that hasn't been there before. I've attached it to
> this mail.

The kernel is complaining that you are trying to map memory from the
sender that is not available in the sender's address space. As mapping
basically means taking the sender's page table entries and putting
them into the receiver's PT, the kernel does not know what to do.

The trick here is that your pager needs to have the binary mapped into
its own address space before handing it out. This can be achieved by
accessing the binary's pages once during startup. (For convenience,
see the l4_touch_ro() and l4_touch_rw() functions.)

Bjoern
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlQWkr0ACgkQP5ijxgQLUNmz1QCeIxkuSBgCvgDyndT497WYI1kO
TgAAn24X79mdul5Q4wLoWM7g6oXpXVxv
=LrVn
-----END PGP SIGNATURE-----



More information about the l4-hackers mailing list