Hi Steve,
Thanks for your quick response. I just wasn't sure if simply changing the
speed would be sufficient since the Linux ethernet driver seems to be for a
1Gbps connection, i.e. when the system boots up I see this:
[3.410936] e1000 :00:00.0 eth0: (PCI:33MHz:32-bit) 00:90:00:00:00:01
If you look in src/dev/Ethernet.py, you'll see there's a 'speed' parameter
on the EtherLink object that lets you set the simulated bandwidth.
The details of how you set this will vary depending on your config script,
but if you're using the makeDualRoot() function from configs/example/fs.py,
then