Pager in Fiasco.OC
doebel at os.inf.tu-dresden.de
Wed Jun 15 20:04:07 CEST 2011
> 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.
More information about the l4-hackers