Sorry, but I have no experience with coding drivers, and I'm unfamiliar
with the relevant hardware interfaces. As for AHCI, after recording a video
of Genode's output (serial communication isn't working), I found that it
does annonce sevice "Block", however part_blk doesn't give any output
whatsoev
Greetings fellow Genodians-
Norman, I like where Genode is going!
I currently run my copy of Win7 inside or VirtualBox hosted via Mint
Linux 17... it's unfortunate that full support for VBox guest USB access
(I gather) requires the instillation of Oracle's VirtualBox Extension Pack
Hello Tim,
* Tim Newsham [2014-12-22 07:06:04 -1000]:
> my two cents, tinted by my own personal world view (I
> work in the security field) -- I think a great way to showcase
> Genode's strengths (and the strengths of underlying kernels,
> such as (soon) seL4) would be to port the chrome browser.
Like Norman, I would like the year 2015 to be “the year of the Genode
Desktop” [sic] and focus more closely on refining certain components
and completing their functionality, i.e. using multiple USB storage
devices at the same time, being able to resize a terminal window,
having audio support on ne
Hello Ben,
* Nobody III [2014-12-22 17:54:48 +]:
> I myself have been trying to do my own work on making Genode a
> general-purpose OS, and am willing to contribute a fair amount, however I
> have always been running into block device issues. The AHCI and ATAPI
> drivers don't work, and the U
Thanks, Norman. I totally missed the other constructor in Rpc_in_buffer in my
rush to implement a Solution!
I'll use your suggestion on the small buffer object.
Bob
Sent from my android device.
-Original Message-
From: Norman Feske
To: genode-main@lists.sourceforge.net
Sent: Mon, 22 D
I originally thought that the AHCI driver wasn't working, but my issue may
be with the part_blk driver. The part_blk driver never starts, but AHCI
announces service "Block". Any help?
--
Dive into the World of Parallel Prog
I myself have been trying to do my own work on making Genode a
general-purpose OS, and am willing to contribute a fair amount, however I
have always been running into block device issues. The AHCI and ATAPI
drivers don't work, and the USB driver isn't working for USB storage. All 3
drivers fail to
my two cents, tinted by my own personal world view (I
work in the security field) -- I think a great way to showcase
Genode's strengths (and the strengths of underlying kernels,
such as (soon) seL4) would be to port the chrome browser.
It's open source (and unfortunately very large), it's one of
th
Hi Bob,
> Is there a mechanism for passing an array of 8_bit register values in
> RPC calls when using base-hw? I see the Rpc_in_buffer class but that's
> designed for string arrays not arbitrary binary value arrays.
>
> The use case is for implementing an I2C server which has multiple
> clients
Hi,
Is there a mechanism for passing an array of 8_bit register values in RPC
calls when using base-hw? I see the Rpc_in_buffer class but that's designed for
string arrays not arbitrary binary value arrays.
The use case is for implementing an I2C server which has multiple clients each
of which
Hello everybody,
with New Year in sight, it is time to make up our minds regarding the
plans for 2015. Everyone of you is invited to suggest directions that
you find worthwhile to pursue - or even better - share your concrete
plans with us. I intend to finalize the road map for 2015 by mid of Janu
12 matches
Mail list logo