A proof of concept Linux Kernel driver extending the FF-A driver with an user-space API using DebugFS