Hello,
In Fiasco.OC, can we register a distinct pager for each thread? I wonder if l4_thread_control_pager is for this purpose.
Thanks, Chen
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
l4-hackers@os.inf.tu-dresden.de