If this is your first visit, be sure to
check out the FAQ by clicking the
link above. You may have to register
before you can post: click the register link above to proceed. To start viewing messages,
select the forum that you want to visit from the selection below.

Comment

We compile and run Genode on x86_64 (using both the Linux kernel and the Fiasco.OC kernel) on a daily basis. So you might give it another try? If you run into problems, I'd pleased to hear from you via our issue tracker (on GitHub) or the project's mailing list.

Cheers
Norman

Comment

We compile and run Genode on x86_64 (using both the Linux kernel and the Fiasco.OC kernel) on a daily basis. So you might give it another try? If you run into problems, I'd pleased to hear from you via our issue tracker (on GitHub) or the project's mailing list.

Cheers
Norman

What I meant is that Fiasco.OC 64-bit compiles without errors as does the Genode framework but the 64-bit Linux kernel, to use in the Genode framework for running Linux programs (the one patched for Genode/Fiasco.OC) doesn't compile. It works if you configure the kernel 32-bit but not 64-bit. At least last time I tried it which was like 3 months ago. On the mailing list, I didn't ask but somone else asked and was told that 64-bit Linux kernel wasn't working yet. That was like 3 months ago.

Comment

Thanks for the clarification. This limitation still persists. But it is actually a limitation the L4Linux kernel rather than Genode. L4Linux is a project conducted independently of Genode. It is developed by the OS group at TU Dresden. We adapted this work so that the L4Linux kernel can be integrated with Genode. But our version ultimately inherits the limitations of the upstream project.

Comment

Thanks for the clarification. This limitation still persists. But it is actually a limitation the L4Linux kernel rather than Genode. L4Linux is a project conducted independently of Genode. It is developed by the OS group at TU Dresden. We adapted this work so that the L4Linux kernel can be integrated with Genode. But our version ultimately inherits the limitations of the upstream project.

One thing you might consider doing to get people interested in Genode is to compose a list of software that will compile natively in the Genode environment, e.g. Firefox, QtDesigner, VLC media player, etc...

That way more people will start trying it. Most people care most about being able to play their videos/music and web browsing (preferably Firefox). If Genode can accommodate at least that natively then I think many more people will get involved.

Comment

You are certainly right. But those applications aren't there yet. I think that the most sensible intermediate step from the perspective of the Genode developers is to use the system for pursuing their development work. Therefore, native support for Unix software is deemed most important at this point. This is why the current development is focused on enabling these tools rather than typical end-user applications.

That said, please keep in mind that even though the developers aspire to use the system as general-purpose OS, the primary point of the framework is the creation of special-purpose operating systems. In this domain, the number of ready-to-use components and libraries is of most interest. The components readily available as of now are listed at http://genode.org/documentation/components