My website running Genode

Hi Genodians, With the release 15.11 I've build a new working Genode system with lighttpd on top of the Fiasco kernel, the only kernel that likes my hardware. I've solved the 256Kb problem a while ago. However, there is one issue with lightttp remaining. It has an artificial limit on urls or

Re: Roadmap 2016

My first thoughts on this are as follows: 1. I would love to use Genode as my primary OS, but I have been unable to make sufficient progress for any of my computers. The older ones don't have AHCI support, Genode's hardware support for my custom desktop computer is severely limited, and I don't

Re: Roadmap 2016

Hi Norman, and other fellow Genodians- I like the direction Genode is going... here are a few reflection's following Norman's call for discussion: * Norman wrote: " *Supplementing Genode with user-friendly means to configure...**Right now, **I use Vim as configuration front end, which

Re: grsecurity R.I.P.

Hi Jyri, On 12/21/2015 02:16 PM, Jyri Hovila [Turvamies.fi] wrote: > Dear everyone, > > perhaps someone has already brought this up on the list, but I'll dig it a > bit anyways. > > As I'm sure many of the people on the list are already aware, grsecurity has > gone closed source with their

Re: grsecurity R.I.P.

Hi! > I am not sure what you mean here. Genode can already execute Linux > within a virtual machine (Seoul or VirtualBox) or as a paravirtualized > version on top of the Fiasco.OC kernel. If this is not sufficient, what > is your approach? The problem in this approach is that the (virtualized)

Roadmap 2016

Hello, the end of the year 2015 is approaching. So it is time for planning our activities for the upcoming year. I plan to finalize the roadmap until mid of January. Hereby, I'd like to kick off the discussion. It goes without saying that everyone of you is invited to join in! Before I come to

Re: grsecurity R.I.P.

>> I am not sure what you mean here. Genode can already execute Linux >> within a virtual machine (Seoul or VirtualBox) or as a paravirtualized >> version on top of the Fiasco.OC kernel. If this is not sufficient, what >> is your approach? > > The problem in this approach is that the

How to calculate the TCB size

I’m working with Genode to implement the ARM TZ-based idea. For evaluation, I’d like to count the line of code of the TCB. In the build folder, I could find "var/libcache" folder, and there the compiled files for my build configuration could be found. Do I need to check all files listed in each

Re: Dataspace Allocation Size and Quota

Hi Georg, welcome to the mailing list! On 22.12.2015 14:00, Georg Guba wrote: > This shows 0/32769 on the first print and 28672/32769 on the second > which is exactly what you'd expect. Allocating 29 KiB with a 32 KiB > quota, however, will throw a Quota_exceeded exception, still printing >

Dataspace Allocation Size and Quota

Hi all, I'm trying to allocate a dataspace dynamically at runtime and transfer quota accordingly. However, it seems the allocation always requires more quota than the actual allocation size. E.g. Genode::Ram_connection ram; ram.ref_account(Genode::env()->ram_session_cap());

Re: Dataspace Allocation Size and Quota

Hi Georg, in addition to Norman's remarks I further investigated your issue (mostly because the value 32769 which is 0x8001 puzzled me). On 22.12.2015 14:00, Georg Guba wrote: > This shows 0/32769 on the first print and 28672/32769 on the second > which is exactly what you'd expect. Allocating

Re: vbox_usb_run bin/nic_drv missing

Thanks, I am getting a compile error when running tool_chain_rump script. I am running this on Ubuntu 15.10. It looks as if there is a stricter compiler finding optimization problems. How can we get around this ? Regards, Adrian ./mkremote.sh fsck_ext2fs rumpsrc/sbin/fsck_ext2fs/fsck_ext2fs.ro