Add kernelbuild benchmark

[wentasah]

with this benchmark, it is possible to compare the performance of NRE and NUL. The needed dist/imgs/kernelbuild-e2fs.bz2 can be taken from NUL imgs repo. On my Ivy Bridge box the results are as follows:

NUL x86_32: 485 s NRE x86_64: 484 s NRE x86_32: 484 s (vancouver was run with only 900M of mem, 950M failed)

[Nils-TUD]

Yes :)

Regarding the memory limit on x86_32: I've just set the link address of vancouver to 0x60000000. Now we can have up to ~1400M of guest memory.

[alex-ab]

It is possible to put the dist/imgs/kernelbuild-e2fs.bz2 to a public accessible place? I have now a Genode run script using this image and I would like to add it to the Genode/Seoul port so that everybody outside can run the test. It would also mean that everybody can compare Seoul/Vancouver on NUL/NRE/Genode.

What do you think @wentasah, @blitz, @Nils-TUD, @udosteinberg ?

[Nils-TUD]

Actually, it is already public: http://os.inf.tu-dresden.de/~nils/imgs/kernelbuild-e2fs.bz2

[udosteinberg]

It's good to have pre-built images for performance tests. However, you need to fulfill the GPL obligations. You cannot provide binaries without (an offer of) the sources.

[parthy]

Does a ram disk qualify as closed binary? You can easily extract it and view the contents. So I would assume that only binaries included in the image could be a potential problem. Are there any binaries included for which source code is not publicly accessible? It would be very interesting to know the implications of such distribution...

[udosteinberg]

It's not sufficient that the sources are available for download somewhere...

See https://www.softwarefreedom.org/resources/2008/compliance-guide.html Section 4.

[parthy]

Okay, so to be on the safe side, every kernel and sample ram disk would have to have their corresponding sources of all binaries included available along them. For the kernel, this might be no problem. But the ram disk.. sounds like a ton of work.

[blitz]

It is okay to just have an offer to send the sources on physical media. The example they give is:

The software included in this product contains copyrighted software that is licensed under the GPL. A copy of that license is included in this document on page X. You may obtain the complete Corresponding Source code from us for a period of three years after our last shipment of this product, which will be no earlier than 2011-08-01, by sending a money order or check for $5 to: 
GPL Compliance Division 
Our Company 
Any Town, US 99999 

Please write “source for product Y ” in the memo line of your payment.

You may also find a copy of the source at http://www.example.com/sources/Y/.

This offer is valid to anyone in receipt of this information.

[alex-ab]

Thanks @Nils-TUD.