mirror of
https://github.com/drasko/codezero.git
synced 2026-11-06 00:57:33 +01: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.