From owner-freebsd-net@FreeBSD.ORG  Tue Nov 16 10:40:25 2010
Return-Path: <owner-freebsd-net@FreeBSD.ORG>
Delivered-To: freebsd-net@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 8EC41106564A;
	Tue, 16 Nov 2010 10:40:25 +0000 (UTC)
	(envelope-from arved@FreeBSD.org)
Received: from gazoz.arved.priv.at (cl-1383.ham-01.de.sixxs.net
	[IPv6:2001:6f8:900:566::2])
	by mx1.freebsd.org (Postfix) with ESMTP id 1EF0C8FC1E;
	Tue, 16 Nov 2010 10:40:24 +0000 (UTC)
Received: from ferdinand.arved.priv.at (ferdinand-gif0.arved.priv.at
	[IPv6:2001:6f8:13fb::2])
	by gazoz.arved.priv.at (8.14.3/8.14.3) with ESMTP id oAGAeJ9B090427;
	Tue, 16 Nov 2010 11:40:19 +0100 (CET)
	(envelope-from arved@FreeBSD.org)
Received: from elma.arved.priv.at (elma.arved.priv.at
	[IPv6:2001:6f8:13fb:3:21b:63ff:fe04:1687] (may be forged))
	by ferdinand.arved.priv.at (8.14.4/8.14.4) with ESMTP id oAGAe8pt022812;
	Tue, 16 Nov 2010 11:40:19 +0100 (CET)
	(envelope-from arved@FreeBSD.org)
Mime-Version: 1.0 (Apple Message framework v1082)
Content-Type: text/plain; charset=us-ascii
From: arved@FreeBSD.org
In-Reply-To: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com>
Date: Tue, 16 Nov 2010 11:40:08 +0100
Content-Transfer-Encoding: quoted-printable
Message-Id: <89612823-2292-478B-9816-1AB5133F168E@FreeBSD.org>
References: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com>
To: Milen Dzhumerov <milen@thecosmicmachine.com>
X-Mailer: Apple Mail (2.1082)
Cc: freebsd-net@FreeBSD.org
Subject: Re: routed source code
X-BeenThere: freebsd-net@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Networking and TCP/IP with FreeBSD <freebsd-net.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-net>
List-Post: <mailto:freebsd-net@freebsd.org>
List-Help: <mailto:freebsd-net-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 16 Nov 2010 10:40:25 -0000


On Nov 14, 2010, at 02:23 , Milen Dzhumerov wrote:
> We're investigating some ways to perform symbolic execution of =
distributed systems and we're looking for real-world programs to test. =
The "routed" daemon[1] which is included with FreeBSD seemed like a good =
candidate and I was wondering whether anyone can point me to its =
implementation location in the source code repositories.

The upstream location is:
http://www.rhyolite.com/src/