mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 02:43:15 +01:00
The svc images must be pushed to boot file list in correct order otherwise if test0 starts earlier than fs0, it gets fs0's predefined thread and space id (since that's the first unallocated one) and fs0 fails to initalise. In the future we can pre-allocate ids from the kernel but current temporary fix is simple enough to use.