+doc + 16kbit region size

Signed-off-by: Nico Schottelius <nico@nico-notebook.schottelius.org>

doc/plan.org

@@ -8809,7 +8809,7 @@ frame 5: !!!! 30 bytes difference! => 10 zero bytes too much at the end!!
 frame 6:
  v4 546 bytes, v6 566 bytes: 20 byte difference, udp checksum broken
 
-*** TODO 2019-08-04: compare netfpga behaviour with bmv2
+*** TODO 2019-08-04: compare netfpga behaviour with bmv2 (version 10.0)
 **** DONE cat of /etc/passwd works
      CLOSED: [2019-08-04 Sun 12:00]
 **** DONE BMV2: 503 character test: works!
@@ -8834,12 +8834,37 @@ printf %0500d\\\\n 42
 printf %0500d\\n 42 | socat - UDP6-LISTEN:2345
 printf %0500d\\n 42 | socat - UDP:10.0.0.66:2345
 
-
 #+END_CENTER
-**** TODO Netpfga: analysing wireshark
-     - Content / payload changes
-
+**** DONE Netpfga: analysing wireshark:  Content / payload changes!
+     CLOSED: [2019-08-04 Sun 13:33]
+**** DONE Test sizes: 250 bytes don't work
+     CLOSED: [2019-08-04 Sun 13:33]
+**** DONE Test sizes: 100 bytes DO work
+**** DONE Test sizes: 120 bytes DO work: no errors, 183/163 bytes on the wire
+**** DONE Test sizes: 180 bytes DO work
+**** DONE Test sizes: 200 bytes DO work [FRAME CHECK ERROR / appended bytes]
+**** DONE Test sizes: 250 bytes do NOT work (2nd test)
+#+BEGIN_CENTER
+nico@ESPRIMO-P956:~/master-thesis/bin$ printf %0250d\\n 42 | socat - UDP6-LISTEN:2345
+nico@ESPRIMO-P956:~/master-thesis/bin$ printf %0250d\\n 42 | socat - UDP:10.0.0.66:2345
 
+#+END_CENTER
+**** DONE Test sizes: 225 bytes do NOT work
+**** DONE Test sizes: 215 bytes DO work
+#+BEGIN_CENTER
+nico@ESPRIMO-P956:~/master-thesis/bin$ printf %0215d\\n 42 | socat - UDP:10.0.0.66:2345
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000042
+nico@ESPRIMO-P956:~/master-thesis/bin$
+nico@ESPRIMO-P956:~/master-thesis/bin$ printf %0215d\\n 42 | socat - UDP6-LISTEN:2345
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000042
+nico@ESPRIMO-P956:~/master-thesis/bin$
+#+END_CENTER
+**** DONE Test sizes: 220 bytes do NOT work
+**** DONE Test sizes: 217 bytes do NOT work
+**** DONE Test sizes: 216 bytes do NOT work
+**** DONE MAXIMUM payload size: 215 0s + 42 + \n = 219 bytes payload
+     CLOSED: [2019-08-04 Sun 13:43]
+****
 ** The NetPFGA saga
 Problems encountered:
 - The logfile for a compile run is 10k+ lines

p4src/minip4_solution.p4

@@ -7,7 +7,7 @@
 #define user_metadata_t metadata
 
 // 1500 mtu * 8 = 12000
-#define MAX_NETPFGA_PACKET_SIZE_BITS 12000
+#define MAX_NETPFGA_PACKET_SIZE_BITS 16384
 
 // digest_data, MUST be 256 bits -- not using it
 struct digest_data_t {