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