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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main