From the P4-dev mailing list, an interesting tool which deep dives wifi, P4, the kernel, ...
you may want to look at the BATMAN and P4 examples in Mininet-WiFi: Manet Routing Protocols or P4 Programming Protocol-Independent Packet Processors .
BTW, we recently fully open-sourced here: mn-wifi-ebook.
The English version of the Mininet-WiFi book: The Mininet-WiFi Book