tool: refactor main to move out kernel configuration and binary generation - #584
Conversation
|
@sfulham You'll need to fix gitlint. Also, could you squash commit 3 into the previous commit that createa that file? |
|
So gitlint still complaining. Please see: https://sel4.systems/Contribute/git-conventions.html. Ther'es a length limit. I would prefer it you keep commit 1 and 2 separated though, the kernel config & image generation are better as separate commits |
ah thank you, didn't realise there was a page for the convention! |
|
You can also run the |
Moves the kernel configuration logic outside of main.rs into sel4.rs for reuse Signed-off-by: Charlotte Fulham <charlotte.fulham@anu.edu.au>
Creates a new `build.rs` file for system image generation related functions, and corresponding `build` function that is now invoked in `main` and can be used elsewhere. Signed-off-by: Charlotte Fulham <charlotte.fulham@anu.edu.au>
2 participants
Currently kernel configuration and image generation are embedded in the
mainfunction of Microkit Tool. This means that external applications that wish to use Microkit in their toolchain can't use the tool in their toolchain as a library. This refactors themainfunctions so that these functions can be used by external programs.