Search results

Example configuration files out of date

Status: Open.

#24 In auxoncorp/selfe-sys;

· chunky125 opened on Jul 6, 2022

Address the new lints picked up from the toolchain bump

Status: Open.

#20 In auxoncorp/selfe-sys;

· jonlamb-gh opened on Oct 22, 2021

Document the MSRV

Status: Open.

#18 In auxoncorp/selfe-sys;

· jonlamb-gh opened on Oct 22, 2021

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

Status: Open.

#14 In auxoncorp/selfe-sys;

· jonlamb-gh opened on Oct 21, 2021

Migrate away from cargo-xbuild

Status: Open.

#10 In auxoncorp/selfe-sys;

· jonlamb-gh opened on Oct 21, 2021

seL4 checkouts should be kept outside of target

Status: Open.

#9 In auxoncorp/selfe-sys;

· mullr opened on Jul 31, 2019

selfe-arc doesn't work with LTO

Status: Open.

#8 In auxoncorp/selfe-sys;

· mullr opened on Jul 31, 2019

Default sel4 platform detection broken for aarch64

Status: Open.

#7 In auxoncorp/selfe-sys;

· mullr opened on Jul 26, 2019

Scaffold out stack size analysis

Status: Open.

#6 In auxoncorp/selfe-sys;

· mullr opened on Jul 17, 2019

Automatically manage native toolchain

Status: Open.

#5 In auxoncorp/selfe-sys;

· mullr opened on Jul 2, 2019

Enhance selfe to perform binary packaging

Status: Open.

#3 In auxoncorp/selfe-sys;

· mullr opened on May 9, 2019

Add CLI features to the file archive crate

Status: Open.

#2 In auxoncorp/selfe-sys;

· mullr opened on May 9, 2019