In previous work [1] we followed the Linux kernel documentation [2] and the guidelines published by IBM ITSO [3].

[1] http://link.springer.com/article/10.1007/s00607-014-0394-9

[2] http://www.cyberciti.biz/files/linux-kernel/Documentation/ne...

[3] https://lenovopress.com/redp4285.pdf