Thanks Alex,

I'll give that a try to see if it works.

I think that tomorrow, I am going to also dive into the Muen SK stuff a bit to see what I can learn as well since it "may" turn out to be better than my idea of using NOVA for my project, but more investigation is required.

Cheers,

Lonnie :)

On Mon, Oct 5, 2015 at 3:23 PM, Alexander Senier <alex@...331...> wrote:

Hi Lonnie,

I was facing the same issue. svn.freebsd.org is doing DNS rotation such that some repos got fetched OK and others timed out when preparing libc.
Aliasing svn.freebsd.org with the IP address of svn.de.freebsd.org in /etc/hosts solved the issue for me:

213.83.6.108 svn.freebsd.org

HTH.

Cheers,
Alex

On 05.10.2015 16:27, Lonnie Cumberland wrote:
> I am currently working on getting VirtualBox/Genode/NOVA compiled up and am
> trying to "prepare_port libc" but have found that the
>
> http://svn.freebsd.org/base/release/8.2.0/lib/libc
>
> seems to be unstable and times out a lot while trying to download the
> library.
>
> Is there an alternate location that I can get the libc library from?

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main