Midnight Veil

Device-specific Servo classes

20

Device-specific servo classes reduces the need to manually find and call `setBounds()` for each servo, as well as the min/max servo angle/stroke. - [ ] Verify 0.0 is retract and...

See linked code below. https://github.com/sahlberg/libnfs/blob/b759d4ca7186253c03315a876353dcd8ef3e10bc/lib/init.c#L314-L318

Complain at a microkit level of IRQ ACK is called on a non-irq channel

2

Currently it's just a message from the kernel that it was invoked on a null cap which isn't obvious.

Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis

1

Also fixes #168, as this allows us enough precision to check priorities. Can specify `pp="true"` or `notify="false"` (or vice-versa, for the defaults): ```xml ``` ToDo: - [x] Parsing tests -...

For me, the `git tag bender-tmp- --force` opens a nano process, which then causes the `bender checkout` to just hang wait for git to complete. Add a message just to...

Some platforms don't have an ltimer (e.g. Cheshire). In these cases, ltimer_default_init won't compile. Conditionally disable the IRQUSER and SMP benchmarks when there is no ltimer to use. Resolving https://github.com/seL4/ci-actions/pull/388#issuecomment-2728308843

Hi, was reading your code as a nice little reference, and I think the `extract_mask()` function of `exec.rs` could be replaced with the 1.83 stabilisation of `Waker::data()`. https://github.com/cbiffle/lilos/blob/7fc6c6469a0407bf6c8e543444aed5b4237774bb/os/src/exec.rs#L203-L246 https://dev-doc.rust-lang.org/std/task/struct.Waker.html#method.data Possibly...

💅 Unused imports when the import is used inside JSDoc syntax

9

### Environment information ```bash CLI: Version: 1.9.4 Color support: true Platform: CPU Architecture: x86_64 OS: linux Environment: BIOME_LOG_PATH: unset BIOME_LOG_PREFIX_NAME: unset BIOME_CONFIG_PATH: unset NO_COLOR: unset TERM: "xterm-256color" JS_RUNTIME_VERSION: unset JS_RUNTIME_NAME:...

A bunch of these commands print deprecation warnings with recent-ish versions of openocd, and the virtual address translation using hw translation seems to be quite broken. cc @niwis where we...

On a guest VM with virtio-block, creating 100 folders with: ```bash cd /mnt/testing && rm -rf * && sync && for i in $(seq 1 100); do mkdir "$i"; done...