Hi John,
A quick 'find . -name *.xsd*' reveals:
./base/xsd/base_types.xsd
./libports/src/app/sntp_client/config.xsd
./os/src/init/config.xsd
./os/src/server/nic_dump/config.xsd
./os/src/server/nic_router/config.xsd
./os/src/server/nic_bridge/config.xsd
./os/src/app/trace_logger/config.xsd
./os/sr
On 1/17/20 7:31 AM, Norman Feske wrote:
In fact, the topic of an IDE for Genode development pops up again and
again. But since everyone at Genode Labs uses plain Unix+Vim as
development environment, we are unable to give a satisfactory answer. We
wish there was a compelling solution but we have
On 1/17/20 7:48 AM, Norman Feske wrote:
Hi Cedrik,
Genode's philosophy seems to be "don't deny complexity, but organize it". So it
would be an interesting challenge: would
implementing workspaces entail big changes in nitpicker? in wm? How to
reconcile the need for a low number of source-
cod
Dear Genode community,
today I have condensed our discussion into Genode's official road map
for 2020:
https://genode.org/about/road-map
Thanks to everyone of you who participated. I hope that you find your
ideas and concerns well reflected.
Cheers
Norman
--
Dr.-Ing. Norman Feske
Genode Lab
Hi Cedrik,
> Genode's philosophy seems to be "don't deny complexity, but organize it". So
> it would be an interesting challenge: would
> implementing workspaces entail big changes in nitpicker? in wm? How to
> reconcile the need for a low number of source-
> code lines, with the need for addit
Hi Tomasz,
thank you for sharing your perspective on the project and your plans.
The Rpi topic is indeed a huge project. While following your
conversations with Stefan on the issue tracker from the side lines, I
admire your perseverance with dealing with this rabbit hole. Your vision
to bring Scu
>
> I also would love to have an IDE (whether Eclipse or a lighter alternative),
> and I agree that it could help attract more casual developers.
I successfully use VSCode from Microsoft as ide for Genode build and debugging
I have 2 Parallels virtual machines on my Mac as a host where I use vs
On 1/13/20 7:24 PM, Tomasz Gajewski wrote:
Hello everyone,
I hesitated to write about my plans for 2020 as in the previous year I
did not succeed with my goals regarding Genode and Raspberry Pi. It was
mostly due to underestimating the amount of required work and maybe more
important due to di
Message d'origine
> De : Stefan Kalkowski
> * A more sophisticated window-manager incarnation for Sculpt
>
> I use several virtual-machines aside, as well as noux shell,
> pdf-viewer, battery-applet, and top-view. At last, it became
> unmanageable to use all these windows overlapping ea
Hello everyone,
I hesitated to write about my plans for 2020 as in the previous year I
did not succeed with my goals regarding Genode and Raspberry Pi. It was
mostly due to underestimating the amount of required work and maybe more
important due to different personal issues that limited amount o
Hi John,
On Thu, Jan 09, 2020 at 03:55:52PM -0500, John J. Karcher wrote:
> This is more of a curiosity question than a request, but what is the status
> of Sculpt running on base-hw? A few months ago I tried it, and it seemed to
> work, but ran very slowly.
>
> Is this a near-term goal? (I tho
This is more of a curiosity question than a request, but what is the
status of Sculpt running on base-hw? A few months ago I tried it, and
it seemed to work, but ran very slowly.
Is this a near-term goal? (I thought it was on the roadmap in the past,
but I can't find it.)
Thanks!
John
On 1/6/20 10:36 AM, Norman Feske wrote:
Hi John,
And just for curiosity, can you share any info on your Sculpt UI ideas,
especially "Replacing Unix/Vim-based interface of the Leitzentrale with
a graphical user interface"?
Good call. Please find my collection of thoughts here:
https://geno
Hello Roman,
thank you for sharing your view and needs with us. I want to respond
to some of the addressed points in the following.
On Tue, Jan 07, 2020 at 04:40:57PM +0100, Roman Iten wrote:
> Hello Genodians,
>
> 2019 has again been a great year to work with, at and around this
> fabulous proj
Hello Genodians,
2019 has again been a great year to work with, at and around this
fabulous project and unique community. As always, we at gapfruit are
impressed with the improvements: some expected and some unexpected but
not less delightful.
I'd also like to share some ideas from our point of v
Hey Martin,
On Mon, Jan 06, 2020 at 16:19:35 CET, Martin Stein wrote:
> * Also, the NIC router has reached a state that makes me believe that a
> review of the internal design would be useful.
This bullet point is quite aligned with my interests for the year, so
I'd like to bump its priority. I u
Hello everyone,
in 2019 I mostly focused on one project in particular and did not much
else besides that. That lead to stalling on some of my pet projects.
So for 2020 I plan on picking these up again (if time permits):
* Enabling USB Audio Class1/2 support (since having the dde_bsd sources
Hi John,
> In the context of #1:
>
> - I don't know if others feel the same way, but I would feel more
> comfortable with a journaling file system (e.g., ext4) for important
> data. (I have no idea how big of a task this is)
you are certainly not alone. I'm wary to put it on the road map though
Hey Norman,
Thanks for the annual poke!
For 2020 these are my interests:
* Provide a Genode kernel that is written entirely in Ada/SPARK, i.e.,
try to eliminate the use of base-hw code (C++) in the Spunky kernel that
I started last year. Spunky currently aims only for the basic kernel
features (
Hey John,
El 4/1/20 a las 3:27, John J. Karcher escribió:
> I meant to ask about the Genode Community Summer at the time - I'm glad
> to hear that it was a success! Did anyone write anything about it
> (e.g., how many people participated, etc.)?
AFAIK, no one wrote a resumé of the community summ
On 1/3/20 4:09 AM, Christian Helmuth wrote:
Hello Genodians,
looking back at 2019, I see quite a few achievements, some matching
our planned goals laid out on the road map and some more motivated by
needs of Genode users and customers of Genode Labs. I'd like to thank
all guys from Genode Labs a
Looking back at your summary of 2019, it has been a great year! I don't
know how you guys accomplish so much in so many different areas.
Congratulations and thanks to everyone on the Genode team!
I think your plans are right on target, and have enjoyed reading
everyone else's ideas also. I'm
Hello Genodians,
looking back at 2019, I have quite mixed feelings about it. Starting
with the x86 VM interface harmonization on Genode via several kernels in
the beginning, the work switched straight into the world of ARMv8
virtualization through all levels together with Stefan Kalkowski.
Technic
Hello,
my biggest plan for 2020 is porting QtWebEngine and a more modern web browser
to Genode, since both the Arora web browser and
QtWebKit are outdated by now.
Christian
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org
Hi Dave,
> Being a visual thinker I am drawn to the concept embodied in
> Eaglemode. I do not know how or how well the software is excecuted, but
> for me at least being able to to see the structure 'from above' is
> appealing. As far as being keyboard friendly I can't say, but the idea
> of
Hello Cedric,
thank you for sharing your reflections on the project and your plans!
> Regarding the former, I'm happy to have reached a stage where we have a
> "vertical slice" of CC6 running on Genode. And
> since early Q3 2019 it is now in "maintenance" mode, i.e. whenever I make
> changes t
Hi Emery,
it's interesting to see the direction you are taking.
> My 2020 project will be building a NixOS-like OS around Genode OS. Its
> something I tried a few years ago but never completed, but now I am
> resolved that it is the best way to scale up Genode.
Since I'm not a NixOS user, I admi
Hey Ben,
On Sat, Dec 28, 2019 at 17:08:45 CET, Nobody III wrote:
> Aside from that, with the recent changes to libc, has QProcess been enabled
> in Qt5? Because that's perhaps the biggest remaining issue in porting
> existing Qt software,
AFAIK nobody looked into this over the last year but as QP
Hello Genodians,
looking back at 2019, I see quite a few achievements, some matching
our planned goals laid out on the road map and some more motivated by
needs of Genode users and customers of Genode Labs. I'd like to thank
all guys from Genode Labs and external contributors alike for an
eventful
Hi Norman,
I should start out by saying that my software skills are quite limited
compared to yours. My laptop just broke so until I can get another up and
running I'm limited to my phone. It difficult to type so please excuse the
errors. I have been following this project because I t
Hi,
I'm just an outside observer with no skin in the game and no affiliation
with any project or product, but I am a Linux user and I am looking at this
window/file manager:
http:eaglemode.sourceforge.net
www.youtube.com/watch?v=G6yPKQt3mBA
Sent from Yahoo Mail on Android
On Wed, Jan 1
Correction: http://eaglemode.sourceforge.net/
Sent from Yahoo Mail on Android
On Wed, Jan 1, 2020 at 12:32 PM, Dave Springer
wrote: Hi,
I'm just an outside observer with no skin in the game and no affiliation
with any project or product, but I am a Linux user and I am looking at this
Hello & a happy new year to all of you,
my personal interests list to Genode's 2020 roadmap is:
* A more sophisticated window-manager incarnation for Sculpt
I use several virtual-machines aside, as well as noux shell,
pdf-viewer, battery-applet, and top-view. At last, it became
unmanageable to u
Responding in terms of "use cases", I would list the following two, as
use-cases of interest to me:
1) making my radio station software cross-platform, to also run on a
Genode-based system (not necessarily a full fledged
OS, just framebuffer + nit picker + audio_drv to start with)
2) transfe
Hello Genodians,
My 2020 project will be building a NixOS-like OS around Genode OS. Its
something I tried a few years ago but never completed, but now I am
resolved that it is the best way to scale up Genode.
I can't do it alone, so if such a project interests you, please contact
me off-list. Th
A simple improvement that I would love to see in leitzentrale is the
ability to create launchers from the GUI.
Aside from that, with the recent changes to libc, has QProcess been enabled
in Qt5? Because that's perhaps the biggest remaining issue in porting
existing Qt software, if the new SDK solv
Dear Genode community,
the year 2020 is approaching, which prompts me to kick off the
discussion of our road map for the year to come. Before drafting plans,
however, I'd like to share my personal reflections of the past 12 months.
For the road map 2019, we picked "bridging worlds" as our guiding
37 matches
Mail list logo
