Let us know how you get on with these instructions
but I have to admit I haven’t personally tried any of these myself so far.
For the Theengs Gateway integration the IRK would need to be in base64, which you can convert from any hex format you might get with an online converter.