Issues

• Example configuration files out of date

  auxoncorp/selfe-sys#24 · Filter by author chunky125 opened on Jul 6, 2022
  3

• Address the new lints picked up from the toolchain bump

  auxoncorp/selfe-sys#20 · Filter by author jonlamb-gh opened on Oct 22, 2021

• Document the MSRV

  auxoncorp/selfe-sys#18 · Filter by author jonlamb-gh opened on Oct 22, 2021

• Add a rust-toolchain file and document the required cargo-xbuild version

  auxoncorp/selfe-sys#14 · Filter by author jonlamb-gh opened on Oct 21, 2021

• Migrate away from cargo-xbuild

  auxoncorp/selfe-sys#10 · Filter by author jonlamb-gh opened on Oct 21, 2021

• seL4 checkouts should be kept outside of target

  auxoncorp/selfe-sys#9 · Filter by author mullr opened on Jul 31, 2019

• selfe-arc doesn't work with LTO

  auxoncorp/selfe-sys#8 · Filter by author mullr opened on Jul 31, 2019
  1

• Default sel4 platform detection broken for aarch64

  auxoncorp/selfe-sys#7 · Filter by author mullr opened on Jul 26, 2019

• Scaffold out stack size analysis

  auxoncorp/selfe-sys#6 · Filter by author mullr opened on Jul 17, 2019

• Automatically manage native toolchain

  auxoncorp/selfe-sys#5 · Filter by author mullr opened on Jul 2, 2019

• Enhance selfe to perform binary packaging

  auxoncorp/selfe-sys#3 · Filter by author mullr opened on May 9, 2019

• Add CLI features to the file archive crate

  auxoncorp/selfe-sys#2 · Filter by author mullr opened on May 9, 2019