> Is it just me, or is the genode website down at the moment? http://downforeveryoneorjustme.com/genode.org My source tells me its just you. Thomas