Re: your mail

2018-06-13 Thread Stefan Kalkowski
Hi Divya, On Tue, Jun 12, 2018 at 02:19:58PM +0530, Divya Lakshmanan wrote: > Hello, > > I am working to load Genode on a custom board. For the Sabrelite board, I > have seen in the forums that the load address of the Genode image is > 0x1080. I have been successful with loading Genode on

Official release of Sculpt TC

2018-06-13 Thread Norman Feske
Hello everyone, I'm happy and proud to announce the official release of the second incarnation of Sculpt OS. Sculpt for The Curious can be downloaded as a ready-to-use disk image: https://genode.org/download/sculpt The downloadable image is a live system, rescue OS, and installer all in one.

Re: create recipe for ADA library

2018-06-13 Thread Martin Stein
El 01/06/18 a las 16:11, Pirmin Duss escribió: > An other point that doesn't look nice currently is the way used to > obtain the location of the port sources [2]. Is there a way to get rid > of the "../ports/" part? Btw. there are some good examples in the ports/recipes directory like vim [1].