Hi Roman,
Nice to see your interest in Rust on Genode! I finally got around
looking into your experiments with Rocket.
I'm afraid there is no easy hotfix for your specific use case. I got
around your specific error by adding both Mio flags to cargo.tcl:
lappend rustflags --cfg mio_unsupport
Hi Cedric,
thank you for sharing your concerns and consulting us for the best
course of action.
I'm in the process of integrating driver_manager into my h/o/g project, to give
it basic dynamic drivers ability (it previously hardcoded Vesa video etc).
After peeking at ticket 5150, I looked in
Fellow Genodians, regarding ticket 5150 : Consolidation of the driver manager
into the sculpt manager ( https://github.com/genodelabs/genode/issues/5150 )
I'm in the process of integrating driver_manager into my h/o/g project, to give
it basic dynamic drivers ability (it previously hardcoded Ves
Not sure whether that's accurate semantics, but I like to think of plaform_drv
and pci_decode as a H.A.L.
(i.e. a hardware abstraction layer, as the term was used many eons ago by Dave
Haynie et alia).
Write your OS to 'talk' to the HAL, and then you can port your OS to many
platforms with more
Hello Zachary,
in addition to the pointers provided by Sebastian, you can find a
detailed explanation of the platform driver's role in the Genodians
article "One Platform Driver to rule them all" [1]. The material is also
present in the "Genode Platforms" book [2].
[1] https://genodians.org/
Hello Zachary,
On 18.03.24 21:22, Zachary Zollers wrote:
Hello Genodians,
The last few days, I have been focused on creating my first Linux VM using
Seoul. I am happy to report I was largely successful, but have a few questions
after completing the exercise. The answers I get from this list h
