Pinephone Keyboard Utilities on postmarketOS

[---]

Hi,

I have my Pinephone Keyboard working really well with my Pinephone running postmarketOS edge.

However, I cannot check the current charge of the keyboard battery.

The device does not show up as /sys/class/power_supply/ip5xxx_power 
I am unable to compile the ppkb utilities as sdcc is not available in the pmOS.

Does anyone running pmOS on the Pinephone know how to tackle this?

Thanks in advance!

Relevant links:
Pinephone Keyboard userspace module FAQ https://xnux.eu/pinephone-keyboard/faq.html
Software Support for the PPKB https://wiki.pine64.org/wiki/PinePhone_(...re_support

P.S.:
I've searched the forum for

• ppkb postmarketOS
  
• sdcc postmarketOS
  
• ppkb pmos
  
• sdcc pmos
  

but haven't found anything so I thought I'd open this thread

http://sdcc.sourceforge.net/ ?