Currently, the VFS Dirent types listed in
repos/os/include/vfs/directory_service.h include FIFO, while the Stat modes
do not. I'm writing a transparent link VFS plugin, so I'm using stat() for
the Dirent information, so I need this feature in order to avoid losing
information. I'm also writing a FI
Hello,
I am very interested in genode and I am working on tz_vmm demo using i.mx53-qsb
board now. After the tz_vmm start, I find a boot message like this:
" Genode 18.05
211 MiB RAM and 64535 caps assigned to init "
To my understanding, it's present that the available memory that the genode os
Hello everyone,
we just published the third official version of Sculpt OS:
https://genode.org/download/sculpt
This version - called Sculpt with Visual Composition (VC) - introduces a
novel graphical user interface for the interactive deployment of
subsystems. For the first time, Sculpt can be
Hi Edward,
On Mon, Sep 17, 2018 at 12:21:46PM -0500, Edward Sandberg wrote:
> I am attempting to add framebuffer support for the Wandboard Quad using
> the imx53 code as a base and modifying it as necessary. At this point I
> can build run/framebuffer with the seL4 kernel and I see no errors when
On 20.09.2018 20:00, Alexander Boettcher wrote:
>> Anyway, here lied the actual problem. I cannot say why core resp. the
>> sel4 kernel complains to map that memory pages here. Unfortunately,
>> I'm on the way, and cannot test sel4 on Wandboard right now. Maybe
>> Alexander Böttcher has some idea
