Raspberry Pi port, piCore-15.0 is available!
clear mod3clear mod4keycode 133 = Super_Lkeycode 134 = Super_Radd mod3 = Super_Ladd mod4 = Super_R