hg: dio/dev: 2 new changesets

[sergey.nazarkin at oracle.com]

Changeset: 26032e12a445
Author:    snazarki
Date:      2015-04-10 16:41 +0300
URL:       http://hg.openjdk.java.net/dio/dev/rev/26032e12a445

8077416: Consistent Device Names/IDs betweeb ME and SE configs
Summary: Renamed and renumbered config RPi config entries
Reviewed-by: alkonsta

! config/dio.properties-raspberrypi

Changeset: 1f20e05d1a7a
Author:    snazarki
Date:      2015-04-10 18:34 +0300
URL:       http://hg.openjdk.java.net/dio/dev/rev/1f20e05d1a7a

8067955: DIO privileges issue
Summary: Policy file and udev script were added
Reviewed-by: alkonsta

+ config/gpio.rules-raspberrypi
+ config/java.policy.ext.rpi