User and kernel implement shared memory

• user-level GPIO class
• kernel device driver
• kernel acl_permission (around line 290)
• ARM Software Development Guide see Chapter 5
• system call parameters and returns