It's in many of the related branches in my fork:
https://github.com/dboddie/inferno-os
My changes have recently been merged into the official mirror of Inferno on
GitHub as well:
https://github.com/inferno-os/inferno-os
If you have any trouble building the latest Inferno sources it will probably b
Thanks; I really enjoyed the talk. Is your version of the thumb toolchain in
one of your repos?
--
9fans: 9fans
Permalink:
https://9fans.topicbox.com/groups/9fans/Tab907fb0f88c6a95-M8d86abc50d7cfb4331cf7c70
Delivery options: https://9fans.topicbox.com/group
