Skip to content

Add CI - #16

Merged
ojeda merged 1 commit into
rustfrom
github-ci
Oct 4, 2020
Merged

Add CI#16
ojeda merged 1 commit into
rustfrom
github-ci

Conversation

@ojeda

@ojedaojeda commented Oct 3, 2020

Copy link
Copy Markdown
Member

Adds CI:

  • Includes runtime validation via QEMU with a few simple tests on the system log from outside the VM.
  • Test matrix (debug, release) x (builtin, loadable).
    • Release is a very minimal kernel config to speed the CI up in both build and QEMU phases (currently full CI takes just 9 minutes).
    • Debug is the same but enables pretty much all debug options that we likely care about -- the idea here is to try to catch as many mistakes as possible, e.g. on bad usage of kernel APIs from the Rust side, on corruption due to bad codegen/bindings/ABI/... and unsafe code, etc.

Later on we may want to enable another dimension for GCC vs. Clang, LLVM=1, etc. if/whenever they start working.

The PR also contains a small fix: kernel now only exports sysctl.rs only if CONFIG_SYSCTL is enabled (found out thanks to the very minimal config used) -- otherwise we fail compilation because bindgen does not generate the required bits.

Signed-off-by: Miguel Ojeda <miguel.ojeda.sandonis@gmail.com>
alex
alex approved these changes Oct 4, 2020
@ojeda
ojeda merged commit c17d290 into rustOct 4, 2020
@ojeda

ojeda commented Oct 4, 2020

Copy link
Copy Markdown
MemberAuthor

Thanks Alex, as usual!

@ojeda
ojeda deleted the github-ci branch October 4, 2020 18:46
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@ojeda@alex