HPI Potsdam / Operating Systems and Middleware Group / ETSI ITS-G5 on Linux / IEEE 802.11p on Linux