4 ms·

Oh okay okay, I see now. Yes, it's perfectly legal (as long as they don't use the Arduino (or Genuino) name).