At the moment ping is crashing if one pings the loopback address. This was caused in #8214 when we moved interfaces from `kernel_pid_t` ID to pointer-based handling, since loopback doesn't evaluate to such an interface.
At the moment ping is crashing if one pings the loopback address. This was caused in #8214 when we moved interfaces from `kernel_pid_t` ID to pointer-based handling, since loopback doesn't evaluate to such an interface.