Alexandru Radovici

One big difference between capsules and applications is that capsules are written in Rust and are not allowed to use `unsafe` code. These capsules cannot directly access hardware resource, they...

I am speaking now from a teaching / beginner point of view and this is only my personal opinion: any action that might "damage" (please see the quotes) the board...

> 1. Each stored upcall gets effectively a "pending" bit. Since the kernel already manages upcalls, it would just add more fields to the stored upcall slot in the allocated...

> ### Pull Request Overview > 1. When implementing the Screen HIL on a monochrome microcontroller, I had lots of troubles regarding bit packing of pixels due to this being...

> > I don't quite understand how you plan on using pack and unpack. > > It's just a helper to send the enum value to the userspace in a...

> It's just the choice of writing 3 times to the display versus writing 1 time. For why I'm forced to submit entire frames on every tiny update, check out...

> No, I thought up flush to work around Tock's SPI capsule not accepting LeasedBuffers. > I'm not sure I fully understand this. Can you give an example? > The...

> As for a solution to the frame buffer issue, I don't think reading frame buffer data is a good solution. In fact, I'm complaining about the need to have...

> Looking at embedded-graphics, they operate under the assumption that a pixel is the fundamental unit instead, and, having discussed with the maintainer, this is not easy to change. >...

> > I'm wondering how many displays have this tile problem. Is it specific to your display model or do we have many of these? > > I have not...