Pierre Krieger
Pierre Krieger
One should be able to: - List the available formats. - Create a voice, with a specific format. A buffer size is returned on success. - Destroy a voice. -...
The initial idea when it comes to interfaces was to define them in terms of message format. In other words, an interface would be defined as the format of its...
It should be possible to do syscalls from C code as well. Here's a small proof-of-concept that works: ```c extern uint32_t redshirt_emit_message( const uint8_t* interface_hash, const uint32_t* msg_bufs_ptrs, uint32_t msg_bufs_num,...
We could provide Tor as a handler for the TCP and UDP interfaces. - [ ] Compile Tor for WASI or for a custom redshirt target. - [ ] Tor...
This is made difficult right now because of the lack of async support in no_std contexts, but we should have a test that randomly sends messages, cancels messages, answers messages,...
Some reference: https://projects.raspberrypi.org/en/projects/raspberry-pi-setting-up/3 Then we can copy the operating system on it. I'm unsure how the kernel should be named and where it should be located :man_shrugging: We might have...
Doing the following turns the kernel into a binary: > arm-linux-gnu-objcopy -O binary ./target/arm-freestanding/release/redshirt-standalone-kernel kernel-bin However, running it in QEMU then seems to trigger an "undefined behaviour" exception running the...
```diff diff --git a/arm-freestanding.json b/arm-freestanding.json index 511cf52..bb0968d 100644 --- a/arm-freestanding.json +++ b/arm-freestanding.json @@ -20,10 +20,11 @@ "max-atomic-width": 32, "os": "none", "panic-strategy": "abort", + "position-independent-executables": true, "pre-link-args": { "ld": ["--script", "arm-freestanding.ld"]...
How? I don't know. We could revise the paging to add a 4kiB empty space below the stack and put a single non-existent page there in the paging.
Since we're slowly getting support for multiple CPUs, there's a design issue here: each CPU will panic individually. This is not a problem per se. Rust already provides tools to...