Search results

Make the example system run on real hardware

Status: Open.

#88 In auxoncorp/ferros;

· jonlamb-gh opened on Nov 11, 2021

Add facilities to enable a managing process to control other processes

Status: Open.

#85 In auxoncorp/ferros;

· jonlamb-gh opened on Oct 28, 2021

Document seL4 related build dependencies

Status: Open.

#84 In auxoncorp/ferros;

· jonlamb-gh opened on Oct 25, 2021

Address the new lints picked up from the toolchain bump

Status: Open.

#82 In auxoncorp/ferros;

· jonlamb-gh opened on Oct 22, 2021

Document the MSRV

Status: Open.

#78 In auxoncorp/ferros;

· jonlamb-gh opened on Oct 22, 2021

Migrate away from cargo-xbuild

Status: Open.

#75 In auxoncorp/ferros;

· jonlamb-gh opened on Oct 21, 2021

Support ExtendedResponders which span multiple pages

Status: Open.

#61 In auxoncorp/ferros;

· jonlamb-gh opened on Oct 2, 2019

Fix Badge bit masking

Status: Open.

#59 In auxoncorp/ferros;

· jonlamb-gh opened on Sep 26, 2019

ferros-build should reject elf binaries with a null entrypoint

Status: Open.

#56 In auxoncorp/ferros;

· mullr opened on Aug 22, 2019

Flush shared memory in ipc setup code

Status: Open.

#55 In auxoncorp/ferros;

· mullr opened on Aug 15, 2019

Add hardware testing to check-all

Status: Open.

#54 In auxoncorp/ferros;

· mullr opened on Aug 15, 2019

Test framework aliases MappedMemoryRegion

Status: Open.

#53 In auxoncorp/ferros;

· mullr opened on Aug 14, 2019