Re: Rigorous specification for TCP, UDP, and Sockets

2005-03-28 Thread gnn
Hi Peter, Interesting paper and work. Are you plannning to share the tools as well? That's what I'd be most interested in seeing, basically the ability to turn your conformance tests into regression tests. Thanks, George ___ freebsd-net@freebsd.org m

Re: HOWTO connect MCI using Netgraph + Frame Relay with Digi SYNC/570i

2005-03-28 Thread Julian Elischer
John Mok wrote: The command "ngctl types" shows :- There are 5 total types: Type name Number of living nodes - -- socket 1 rfc1490 0 lmi 0 frame_relay 0 sync_ar 2 What other modules are need

Re: HOWTO connect MCI using Netgraph + Frame Relay with Digi SYNC/570i

2005-03-28 Thread John Mok
The command "ngctl types" shows :- There are 5 total types: Type name Number of living nodes - -- socket 1 rfc1490 0 lmi 0 frame_relay 0 sync_ar 2 What other modules are needed? How to add th

Rigorous specification for TCP, UDP, and Sockets

2005-03-28 Thread Peter Sewell
[apologies to anyone who has seen this on the end-to-end list] Our recent technical reports may be of interest to BSD TCP/IP developers: TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification. Volume 1: Overview UCAM-CL-TR-624 Volume 2: The

Re: HOWTO connect MCI using Netgraph + Frame Relay with Digi SYNC/570i

2005-03-28 Thread Julian Elischer
what does "ngctl types" say? looks like you don't have all the right modules loaded.. John Mok wrote: After issuing the following commands :- #ngctl mkpeer sync_ar0: frame_relay rawdata downstream #ngctl mkpeer sync_ar0:rawdata lmi dlci0 ansi #ngctl mkpeer sync_ar0:rawdata rfc1490 dlci16 rfc1490 #n

Re: HOWTO connect MCI using Netgraph + Frame Relay with Digi SYNC/570i

2005-03-28 Thread c0ldbyte
On Tue, 29 Mar 2005, John Mok wrote: After issuing the following commands :- #ngctl mkpeer sync_ar0: frame_relay rawdata downstream #ngctl mkpeer sync_ar0:rawdata lmi dlci0 ansi #ngctl mkpeer sync_ar0:rawdata rfc1490 dlci16 rfc1490 #ngctl mkpeer sync_ar0:rawdata dlci16 rl0 inet inet #ifconfig ng0 1

Re: HOWTO connect MCI using Netgraph + Frame Relay with Digi SYNC/570i

2005-03-28 Thread John Mok
After issuing the following commands :- #ngctl mkpeer sync_ar0: frame_relay rawdata downstream #ngctl mkpeer sync_ar0:rawdata lmi dlci0 ansi #ngctl mkpeer sync_ar0:rawdata rfc1490 dlci16 rfc1490 #ngctl mkpeer sync_ar0:rawdata dlci16 rl0 inet inet #ifconfig ng0 1.2.3.4 5.6.7.8 ifconfig: interface ng

Current problem reports assigned to you

2005-03-28 Thread FreeBSD bugmaster
Current FreeBSD problem reports Critical problems Serious problems Non-critical problems S Submitted Tracker Resp. Description --- o [2003/07/11] kern/54383 net [nfs] [patch] NFS root configurations w

Re: test/review: plug mii leakage

2005-03-28 Thread Bjoern A. Zeeb
On Sun, 27 Mar 2005, Bjoern A. Zeeb wrote: Hi, > could you please test following patch: there is an updated one at http://sources.zabbadoz.net/freebsd/patchset/mii-20050327-plug-leaks.diff which plugs another leak found by jmg. > Any feedback welcome. > > Thanks in advance. -- Bjoern A. Zee