a configuration file for Karabiner

private.xml

<?xml version="1.0"?>
<root>
  <devicevendordef>
    <vendorname>TopreCorporation</vendorname>
    <vendorid>0x0853</vendorid>
  </devicevendordef>
  <item>
    <name>For RealForce</name>
    <name>Set function keys to special feature</name>
    <appendix>Assign special feature keys to F1 to F12 on RealForce</appendix>
    <identifier>private.topre.set_function_to_special_feature</identifier>
    <device_only>DeviceVendor::TopreCorporation</device_only>
    <autogen>--KeyToConsumer-- KeyCode::F1, ModifierFlag::NONE, ConsumerKeyCode::BRIGHTNESS_DOWN</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F2, ModifierFlag::NONE, ConsumerKeyCode::BRIGHTNESS_UP</autogen>
    <autogen>--KeyToKey-- KeyCode::F3, ModifierFlag::NONE, KeyCode::MISSION_CONTROL</autogen>
    <autogen>--KeyToKey-- KeyCode::F4, ModifierFlag::NONE, KeyCode::LAUNCHPAD</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F5, ModifierFlag::NONE, ConsumerKeyCode::KEYBOARDLIGHT_LOW</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F6, ModifierFlag::NONE, ConsumerKeyCode::KEYBOARDLIGHT_HIGH</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F7, ModifierFlag::NONE, ConsumerKeyCode::MUSIC_PREV</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F8, ModifierFlag::NONE, ConsumerKeyCode::MUSIC_PLAY</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F9, ModifierFlag::NONE, ConsumerKeyCode::MUSIC_NEXT</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F10, ModifierFlag::NONE, ConsumerKeyCode::VOLUME_MUTE</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F11, ConsumerKeyCode::VOLUME_DOWN</autogen>
    <autogen>--KeyToConsumer-- KeyCode::F12, ConsumerKeyCode::VOLUME_UP</autogen>
  </item>
</root>