3 ms·

Yes, but if you download raspbian to run in on virtualbox or similar it is not there. I guess they have different licenses.