[Linux x86-64] Add shutdown syscall
[Linux x86-64] Add kill syscall
[Linux x86-64] Add uname syscall
[Linux x86-64] Fix STG convention for the 6th parameter
[Linux x86-64] Add futex syscall
Minor refactoring
Doc
[Platform] Split Region into Region/Shape
MMU moved in Platform.Memory
Move Buffer into Memory.Buffer
[Platform] FieldMap renamed into Layout
[Platform] Add basic memory manager
[Platform] Minor change
[Doc] Add custom CSS for haddock
[DOC] Improved CSS
Minor changes (doc and useless file removal)
Switch to base 4.7 / GHC 7.8
[Doc] Manual
Fix typo
[DOC] Remove old stuff