Pager in Fiasco.OC

Björn Döbel doebel at os.inf.tu-dresden.de
Wed Jun 15 20:04:07 CEST 2011


Hi,

> In Fiasco.OC, can we register a distinct pager for each thread? I
> wonder if l4_thread_control_pager is for this purpose.

as the documentation says, l4_thread_control_pager() is indeed used to
set the thread's pager. Please also note the thread_control protocol
which requires you to place this call after a l4_thread_control_start()
and use l4_thread_control_commit() to enforce the setting.

Bjoern




More information about the l4-hackers mailing list