P4-vSwitch / vagrant

PISCES Simulation Environment
30 stars 15 forks source link

issue in setup-pktgen.sh #15

Open hombrados opened 5 years ago

hombrados commented 5 years ago

I think this piece of code:

  # Configure Huge Pages
  cd /home/vagrant
  sudo mkdir -p /mnt/huge 
  (mount | grep hugetlbfs) > /dev/null || sudo mount -t hugetlbfs nodev /mnt/huge
  echo 512 > /sys/devices/system/node/node0/hugepages/hugepages-2048kB/nr_hugepages

Should be:

  # Configure Huge Pages
  cd /home/vagrant
  sudo mkdir -p /mnt/huge 
  echo 512 > /sys/devices/system/node/node0/hugepages/hugepages-2048kB/nr_hugepages
  (mount | grep hugetlbfs) > /dev/null || sudo mount -t hugetlbfs nodev /mnt/huge

I get an error if trying to modify nr_hugepages with nodev mounted.