twizzler-operating-system / twizzler

The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
62 stars 13 forks source link

Develop doc hello world correction + made submodules work when developing from a personal fork of the repo #183

Closed zphrs closed 1 month ago

zphrs commented 1 month ago
  1. Fixed develop.md by noting the necessary addition of a few lines at the top of the file to ensure that the main function would actually get called.

  2. Changed the gitmodules so that they link back to the twizzler-operating-system/twizzler submodules so I don't have to fork all of the various submodules.

dbittman commented 1 month ago

If instead of that code block, adding extern crate twizzler_abi; to the top of the main file in the hello world example works, let's use that instead of the extra code in the PR. That's more of a direct solution, since the underlying problem is that the program needs to explicitly depend on twizzler_abi for the runtime to be pulled in.

In the future, once the reference runtime and security monitor are ready, this won't be necessary, but in the meantime, we can just add that one line.

Otherwise looks good, I'll merge with that update, and once the tests complete.

zphrs commented 1 month ago

change made!

dbittman commented 1 month ago

The CI runner is down (thanks, ucsc, for funding good things, like infrastructure ... ), so when that comes up I'll run and merge.