Hello,
there was a small bug in L4Linux's L4shm based network driver, which broke the driver on architectures where NET_IP_ALIGN != 0, e.g. on ARM. This resulted in insufficient data being allocated for the skb in l4x_l4shmc_interrupt, causing the subsequent skb_put to fail.
See attached diff for details.
Cheers,
Matthias