Home

TODO

Search for the TODO strings in the code.

• exec_vnode might be split across chunks

Important Changes

In February 2024 I changed the name of the "master" branch to "main". It's now considered best practice to not use some terms like master and slave as they are overladen with other meanings to other people. So if you had cloned this repo previously you will need to do some small changes.

Download objects and refs: $ git fetch origin
Set the main branch's tracking information for upstream: $ git branch -u origin/main main
Finally we do this, set the default branch: $ git remote set-head origin -a

If this fails just delete the clone and re-clone it again :-)

Mike