Skip to content
View kent-mcleod's full-sized avatar

Organizations

@seL4

Block or report kent-mcleod

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. aos_tests aos_tests Public

    Shared user-land tests for comp9242

    C

  2. linter-rust linter-rust Public

    Forked from AtomLinter/linter-rust

    Linting your Rust-files in Atom, using rustc and cargo.

    CoffeeScript

  3. xargo xargo Public

    Forked from japaric/xargo

    Effortless cross compilation of Rust programs to custom bare-metal targets like ARM Cortex-M

    Rust

  4. samples samples Public

    code samples and snippets

    Rust

  5. rumprun rumprun Public

    Forked from rumpkernel/rumprun

    The Rumprun unikernel and toolchain for various platforms

    C

  6. camkes camkes Public

    Forked from seL4/camkes

    Component Architecture test suite and example apps.

    C