Pager in Fiasco.OC

[Björn Döbel]

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