The ARM part is not finished yet and will be fixed in a later commit.
This interface can be used by other system processes by means of the newly provided vbox API in libsys.