auxoncorp ferros issues

auxoncorp / ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.

https://ferros.auxon.io/

Apache License 2.0

107 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Use crates.io deps, bump toolchain to nightly-2021-11-01

#90 jonlamb-gh closed 2 years ago
0
Address clippy lints

#89 jonlamb-gh closed 2 years ago
0
Make the example system run on real hardware

#88 jonlamb-gh opened 2 years ago
0
Add example system

#87 jonlamb-gh closed 2 years ago
0
Add a more complete example

#86 jonlamb-gh closed 2 years ago
1
Add facilities to enable a managing process to control other processes

#85 jonlamb-gh opened 3 years ago
0
Document seL4 related build dependencies

#84 jonlamb-gh opened 3 years ago
0
Use public seL4 repos in the example toml configs

#83 jonlamb-gh closed 3 years ago
0
Address the new lints picked up from the toolchain bump

#82 jonlamb-gh opened 3 years ago
0
Update the build and toolchains

#81 jonlamb-gh closed 3 years ago
0
qemu-test depends on registers crate, which was renamed to bounded-registers

#80 jonlamb-gh closed 3 years ago
0
Use upstream seL4 repositories in the example

#79 jonlamb-gh closed 3 years ago
0
Document the MSRV

#78 jonlamb-gh opened 3 years ago
0
Toolchain links used by the tests are broken

#77 jonlamb-gh closed 3 years ago
0
Can't build due to compiler_builtins

#76 jonlamb-gh closed 3 years ago
0
Migrate away from cargo-xbuild

#75 jonlamb-gh opened 3 years ago
0
Use cargo's new feature resolver in place of the `cargo-5730` crate

#74 jonlamb-gh closed 3 years ago
0
Add unsafe_get_tcb_cptr

#73 mullr closed 4 years ago
0
add an `elim` function to StandardProcess

#72 pittma closed 4 years ago
0
Call channel with waker

#71 jonlamb-gh closed 4 years ago
0
Fix badging in extended caller

#70 mullr closed 4 years ago
0
Add low level cptr methods on Caller

#69 jonlamb-gh closed 4 years ago
0
Add waker support to shared memory ipc

#68 mullr closed 4 years ago
0
Add new_with_waker method to InterruptConsumer

#67 jonlamb-gh closed 4 years ago
0
Add flush_range method on MappedMemoryRegion

#66 jonlamb-gh closed 5 years ago
0
Add page or address+range granular cache operations

#65 jonlamb-gh closed 5 years ago
0
Add Consumer4

#64 mullr closed 5 years ago
0
Allow custom stack size for elf binaries

#63 mullr closed 5 years ago
0
Fix unused Results

#62 jonlamb-gh closed 5 years ago
1
Support ExtendedResponders which span multiple pages

#61 jonlamb-gh opened 5 years ago
0
Add is_full to Producer

#60 mullr closed 5 years ago
0
Fix Badge bit masking

#59 jonlamb-gh opened 5 years ago
1
Support queues which span multiple pages

#58 mullr closed 5 years ago
0
Remove queue length from Producer / Consumer types

#57 mullr closed 5 years ago
0
ferros-build should reject elf binaries with a null entrypoint

#56 mullr opened 5 years ago
0
Flush shared memory in ipc setup code

#55 mullr opened 5 years ago
0
Add hardware testing to check-all

#54 mullr opened 5 years ago
1
Test framework aliases MappedMemoryRegion

#53 mullr opened 5 years ago
0
Get ProgramStart from the linker

#52 mullr opened 5 years ago
0
Determine elf proc stack size by inspecting binary

#51 mullr opened 5 years ago
1
Track paddr in all untypeds, not just device

#50 mullr opened 5 years ago
0
`FaultReplyEndpoint::save_caller_and_create` should return an SeL4Error, not a KernelError.

#49 pittma opened 5 years ago
0
WeakCapRangeCollection needs type-level parameterization of backing maximum discontinuous ranges size

#48 ZackPierce closed 5 years ago
0
Separate "simultaneous" usage of `map_region_at_addr` and `map_region`

#47 pittma closed 5 years ago
4
Investigate stack requirements for our alloc pattern

#46 mullr opened 5 years ago
0
parameterize stack sizes

#45 pittma closed 5 years ago
0
The rollback array in `map_region_at_addr` should be on regions, not just their cptrs

#44 pittma closed 5 years ago
2
Weak memory regions

#43 pittma closed 5 years ago
1
Improve complexity of DeviceAllocator::get_untyped_by_address_range

#42 mullr closed 5 years ago
1
Role tracking for memory regions

#41 pittma closed 5 years ago
1