Hi Norman,
> that kind of small-to-medium
> > size Be ports to Genode is quite easy now that most pieces of the Be
> puzzle are in place.
>
> The screenshot nicely shows how far your work has come by now. Speaking
> of the porting of Be applications, I wonder how Goa could be applicable
> in t
Howdy Norman, all,
A little screenshot to warm up, then my perspectives of daily Genode usage.
Mail:
Here's a little screenshot of a quick port of the (Be)Mail GUI.
https://tts-genode.neocities.org/tts-img/2023-12_BeMail_nano3d_ftppositive.png
This one specific app is probably not a most
> > - problem with underlying configuration/system-integration ? I use
> nitpicker and event_filter as per basic .run file examples
>
> You most likely missed to configure the event_filter config
> node correctly. A snippet from Sculpt /config/managed/event_filter
> follows (can be found in the
Fellow Genodians,
I'm reaching "alpha" stage (or a good approximation thereof) of my "distro"
project at last, added a
depot manager that mimics the one in ScultOS, so that the distro can download
and use the
wealth of packages provided on genode.depot.org.
Greatly enjoying my newfound ability t
Fellow Genodians,
what follows is a minor observation and two (more serious) questions.
1) Suspend/resume
The introduction of that feature in 23.02 triggered some "geek lust"
in this aging geek, and now with 23.05 I got around to attempting
system integration of suspend/resume in my stack.
In Qe
> > * vfs_pipe: components that use the "pipe" plug-in should make sure to
> enable RTC ()
> > as of 23.02 -- previously it would work without specifying an RTC path.
> This made me curios because the nightly tests [1,2] for the vfs_pipe
> plugin do in fact not configure the rtc for the libc, y
Dear Genodians,
Here are two (very minor) notes after my upgrading to 23.02 (plus
cherry-picking the patch from #4785),
regarding two "bugs" I had found, which ended up being mistakes on my side, not
on Genode's side.
These two don't justify opening tickets, but they might deserve a quick mentio
My test result FWIW,
> > I had a similar, but not identical, situation on my 3GB version. In my
> > case, anything involving writing (expand, default, etc.) would never
> > complete, but slow the system to a crawl in the process.
> >
> > […]
>
> could you both please try out my debug image [1].
Howdy fellow genodians,
> Dear PinePhone users,
>
> piggybacking on Christian's announcement, I've slightly updated my
> recent Genodians article with information about the Sculpt 23.04 version:
>
>http://genodians.org/nfeske/2023-02-01-mobile-sculpt
..
>https://github.com/nfeske/genode
Thank you for your response Johannes,
> > It seems to require a one-liner patch though, otherwise it crashes with a
> "invalid zero alloc" style message.
> > So I just went ahead and hardcoded a non-empty initial _area (setting it
> to 320,200) on the first line of this constructor here (_area ge
Dear Genodians,
Late this week I decided it was time to add a VNC server to my "suite", spent a
bit of time on that, here's my feedback. Skip to bottom for "actionable" stuff.
My first instinct was to grep repos/ genode-world for the string "vnc" since
those two are my go-to places to find port
> It is interesting that the download of the index worked for you (so
> network connectivity works on principle) but the actual packages didn't.
> That's strange because both rely in the same infrastructure and tools
> (same server, same fetchurl program, same TCP/IP stack, same signature key).
Hello Genodians,
I want to run a C - Program on Genode over virt_qemu_riscv. I think Java
support is not there for riscv. So I want to go with C.
Kindly guide me on this. Also enlighten about the compilation.
Regards
Pranab
___
If you're cre
> Do you see a valid IP(v4) address in the 'Wifi' dialog after you joined
> your WiFi network successfully?
>
> Did you also 'Use' the GENODE Partition on the SD card in the storage
> dialog? (Otherwise the tabs in the Software section apart from 'Runtime'
> will be disabled.)
>
>
> Regards
> Jo
> Dear PinePhone users,
>
> I have just published a new Sculpt image for the PinePhone today:
>
>https://depot.genode.org/nfeske/image/
Having trouble with WiFi --
Installed from scratch on a new micro-SD card ; booted, did "FS: make default +
expand" (or maybe the reverse) ; activated WiFi
Hello Genodians,
I am able to run java.run in virt_qemu-arm_v7a. The output is directed to log [
stdout="/dev/log" ], is there a way to redirect the sdtout to terminal [
stdout="/dev/terminal" ] instead of log?
My two cents : the way I do it here is to modify the "config" scenario file
Some short notes testing on a PP 2GB:
GUI:
If I had to sum up with two words that would be : "solid, efficient".
Before-hand I was worried the Sculpt OS widgets would not be a good "fit" for
that device, I'm a bit maniacal about ergonomics . But that's very much
dispelled. In fact (and I know
Hi,
In your previous email citing the qemu command-line, I saw the command-line
parameter "--nographic".
If parametrized with both "gui = gtk" and "no gui", it seems Qemu goes with the
latter, so you should remove "--nographic" in order to get the GUI. It will
probably occur "automatically"
> > >> Kernel: MMU-fault not handled ESR=0x9261
> > >> Kernel: init -> drivers -> gui_fb -> ep raised unhandled MMU fault
> > >> ip=0x1009bb4 fault-addr=0x113d76ac type=unknown
> > Maybe the fault IP refers to some special (neon?) instruction with
> > tighter constraints? Have you had a look
I'm still trying to understand the relationship between Genode and Sculpt.
Reading through the "Genode Live System" github issue thread, It sounds like
back in 2016, the developers had no desire to build a live-cd version of the
framework (it would have been a distraction and tons of work to d
Hi Norman,
> [1] https://genodians.org/nfeske/2023-01-05-mobile-user-interface
>
> The "left" side relies on Genode's native widget renderer (menu_view).
> The "right" side offers complete freedom. One user may host a single Qt
> app at a time, another user may host an SDL game, or even host a
> - native Genode widgets' set
> - LVGL
> - Higher-level widget toolkit? (possibly with expressive power similar to
> InterfaceKit or comparable ?)
> - Full-blown Qt etc
>
Just recalled the mention of Sailfish and Ubuntu touch, didn't have that in
mind when I wrote the above. So that would addr
> https://www.genode-labs.com/publications/secure-gui-2009.pdf#subsection.4.3.5
>
The DnD protocol exposed in secure-gui-2009.pdf reminds me of the advanced one
described in the BeBook as "negociated drag'n'drop" (by opposed to the
simplified
B_SIMPLE_DATA I typically use in my apps). Heck, it
(my first reply got rejected, with its contents lost in the ether -- seems it
was the mail-daemon on my side,
not the mailinglist daemon though, complaining about "line length 998 exceeded",
anyway here it is again, typed from memory, and with short line lengths)
The below works on my T430
I
> How did you perceive the Genode year 2022?
>
> What directions are you most excited about?
>
> Which topics do you deem as interesting to explore yourself?
>
> Do you already happen to have rough plans about 2023?
Santa brought a Pinephone for my S.O. this year, she's happy and looking
forwa
> > So what is the proper way to do this?
> A VFS plugin may only use very limited LibC functionality. In many
> aspects this constellation could be compared to the execution of an
> application program inside the kernel on Linux. So it's tricky to get
> right and stable. I suggest to look for othe
> Hello, is it possible to launch and execute commands on a Genode VM
> completely through a Linux terminal? I tried qemu's '-nographic' option but
> it doesn't work. The reason I need this is because I want to make some
> changes to a compiler that has Genode support. I need to make some change
Hello Genodians, A second quick question in another thread: Does Genode
/SculptOS support alternative file systems like ZFS/XFS/BTRFS?
___
I haven't seen mention of those three, but:
1) it might be possible to port the latter two, in a roundabout
(..).
Also, I was thinking about the desktop and GUI (Nitpicker) and was wondering
how hard it might be to change out the graphics to something more "themeable"
like LVGL (https://lvgl.io/) but am still learning for which Genode might have
these capabilities.
Regarding theming,
I'm not c
My thoughts in no particular order :
After several years, I still can't get over how modular Genode is and how
take-no-prisoners no-compromise its policy is re. clean design and best
practices.
Seeing that kind of dedication keeps me motivated when I feel tired IRL.
If I get a chance before th
>Error: 'e2mkdir' command could be not found.
>
> or:
>
>Error: 'xorriso' command could be not found.
>
> But both of those commands are available, and worked up until recently.
>
> Does anyone have any thoughts on what might cause this?
On the one-in-ten (low) odds that this could he
> I'm afraid that this leaves only one viable solution: To stub the I/O
> interplay of fuse with the libc and map those interactions directly to
> the raw VFS, not going through the libc. This is tedious but the only
> clean way I can see. It would essentially remove the dependency of the
> fuse VF
Hey Genode team, fellow Genodians,
I'm trying to modify FUSE-server to become a VFS plug-in (see genode-world#193)
but it seems "with_libc()" no longer works, when in a plug-in attached to the
test-libc_vfs test harness:
[init -> test-libc_vfs] >open_Dir
[init -> test-libc_vfs] Error: Uncau
reciated if
someone were to pick them up, with links to the corresponding GitHub issues.
I could suggest my 'ttcoder' repository hosted by the chiselapp.com service as
a place for community members to use (i.e. its integrated wiki, integrated
ticketing system etc) though I'm skep
Hello,
I'm a final year CS B.S. student. I was looking for an interesting project /
thesis for my Bachelor and my professor suggested I take a look into Genode
(besides other things). I find the project fascinating, even though I don't
nearly possess enough information to fully understand it.
Indeed, and I have found that this article helped me to improve my code:
http://genodians.org/m-stein/2021-05-31-a-short-guide-to-the-timer-session-interface
But if you're specifically after keyboard/mouse input, you'll probably want to
do it with a 'sigh' instead of with polling: install a sig
> Error: pthread_self() called from alien thread named 'Broker Thread'
> no RM attachment (READ pf_addr=0x4b8 pf_ip=0x10f62dfc from pager_object:
> pd='init -> manager' thread='Broker Thread')
Looking at thread.cc,
it seems you're subclassing Genode::Thread and (presumably) instantiating it
usin
This will probably be of little to no help (or maybe as inspiration ?) since
we're talking gmake here, but I'll mention in passing that in other build tools
there is sometimes support for a "piecemeal" modifier for compilation units :
this modifier instructs the build tool to repeatedly invoke t
> > Your parent needs a ROMFile capability to run
> > your program. Ask it for that capability to read
> > your own file. You can call that RPC getexecname
> > or whatever strikes your fancy.
>
> the question is what path for open() call I should use for ROMfile?
Not sure if that's relevant to t
> >>https://fosdem.org/2021/schedule/track/microkernel/
> > the recording of my talk has become available now:
> >
> >
> > https://video.fosdem.org/2021/D.microkernel/microkernel_pluggable_device_dr
> ivers_for_genode.webm
>
> This went by without much fanfare, but this presentation is a f
m/genodelabs/genode/blob/master/repos/os/include/spec/x86_64
> /os/backtrace.h
>
> To get useful output, please put the following line into the file
> etc/tools.conf within your build directory.
>
> CC_OPT += -fno-omit-frame-pointer
... and in case it's useful I'll add t
> BEGINNER FRIENDLY OS?
> ===
>
> *) I know that this operating system is not developed to be user
> friendly, but it could be great to put some helps for beginners, like
> a graphical instruction box when clicking on certain things in
> Leitzentrale, a graphical example could
It's a pet peeve of mine as well, in my day-to-day work in my (Be-derived)
environment.. Guessing it will be the same when I eventually switch to
Genode/Scultpt, then ?
I know of a couple ways to mitigate that:
1) make sure the apps lauch fast enough, that by the time you're done clicking
on o
Hi Genodians,
> drivers, I guess). Example 3 - When the FB driver crashes, the rest of the
> system is resilient
>and continues to run. > But, of course this is nearly useless because there is
>no way to reset
>the driver. Given my understanding of the component-based architecture, it
>seems
Is Genode good for the Desktop and is it based on seL4?
What does OS framework mean?
Hi,
Assuming you're looking for a personal take, rather than the official info
available from genode.org (:-) :
In my personal view, what makes Genode the "go-to" OS toolkit (or OS
"framework" : a collection
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
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
I've run into (something similar to) this before; in my case it was
check_xml_syntax() which calls xmllint to check the "config" file, instead of
check xsd() calling xmllint, but this might apply anyway: I found that I could
temporarily comment out the call to xmllint and some of the supporting
Hi Norman, yes you did answer, and how extensively so
I've added a solid link to your answer in my online notes
(chiselapp/genode-book), for me to dig deeper in the future. For now it's a
place-holder but maybe it could become a useful (actionable) summary for others
to use in the future.
Trut
Howdy list, Norman,
I have a (real world) scenario around those lines, probably a subset / special
case of the conversation so far. Discussing
it here will help me wrap my head around this aspect of Genode I think:
Let's say you're writing some high-reliability software (take that with a heavy
o Genode too, and try to collect responses to questions
like those; mostly for my sake, but might be useful to you too; see Section 2
"Mapping the address to source code and function names" here:
http://chiselapp.com/user/ttcoder/repository/genode-book/wiki?name=Book:Tips
Will keep
Hello,
This might well be off-base as I am still new at this.. But I notice that in
LOG the instance of textedit is referred to as "init -> launchpad -> textedit";
whereas in the "policy" config of ram_fs, the access autorization is for exact
match, label="textedit -> root", which of course is d
he old contents was just moved to another format,
or there was a lack of external contributions, which did not warrant keeping
its contents editable by third parties? Anyhow, here goes:
https://chiselapp.com/user/ttcoder/repository/genode-book/home
I'm writing an example in the one are
Correction: "Mail" is probably a quite bad example, as it relies heavily on
extended attributes. There are probably many candidates all over the difficulty
spectrum (from easy to hard) that would make more sense to port. Unless someone
came up with a hack to wrap xattr's into something else, ouc
Thank you for contributing to this topic Joel, seems to me we need this.
The topic of native (non virtualized) applications is very dear to me, so can't
resist adding my two cents:
Stickynotes are cute and would be easy to implement, but here is my real Genode
wishlist:
Right on. Even more s
Thank you for the encouragement Norman. That gives me determination to deliver
on the 'hype' I posted.. and be useful to
the community this coming year.
Now that I'm aware of the upcoming "genodians.org" it seems I should have
waited before registering at neocities.org
Anyway here's the micro-
As a newcomer I should probably step up to the plate, while the 'first
impressions' are still fresh in my mind.
I'm still making baby steps; but based on past experience I should hit the
ascending part of the learning S-curve soon and become
productive.
Still have tons of documentation to read
Hi Johannes,
>I looked through your pad and noticed that you removed Ada support. Since you
>already have GCC 7.3 on your system you could install the GNAT Community 2018
>version which also uses GCC 7.3. Both requirements to build the toolchain with
>Ada support should be possible
I'll try t
Howdy all,
We are a (very small) company looking for a good home for our software suite.
The Be-derived OS we've been using served us well for a long
time, but instability has become a problem of late, with kernel/drivers crashes
-- obviously that is where a micro-kernel/framework would
shine.
59 matches
Mail list logo
