mirror of
https://github.com/drasko/codezero.git
synced 2026-04-01 17:49:05 +02:00
Removed dependency on hard-coded pager id. Pager id is now passed as an environment string `pagerid' to tasks. Alternatively, this could take space in the utcb of each task.