Tooling support #146
Open
Tooling support #146
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
In the virtIO README we should add a section on how the example is different to the other examples since we make use of the metaprogram. We should say why and that they have to install the |
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Terry Bai <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Terry Bai <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: alwin-joshy <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
… tree Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
…nimal IPv4 network stack and add kernel readme Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]> Signed-off-by: Ivan-Velickovic <[email protected]>
Nix is too fragile on Darwin for me to bother reviving this ever. Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]>
… metaprog section to top Signed-off-by: Bill Nguyen <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
The Rust overlay for some ****ing reason does not use libclang from Nix and so we have to do this. Signed-off-by: Ivan Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Bill Nguyen <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Signed-off-by: Ivan-Velickovic <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds support for the microkit_sdf_gen tool in libvmm.
Currently, only the
simpleandvirtioexamples works with the tooling. In addition, the block driver VM was dropped in thevirtioexample in favour of a native block driver and the number of guests was reduced from 2 to 1.