#
e8d14d75 |
|
04-Oct-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4utils: Remove bitrotted client_server_vspace This vspace implementation has not been maintained as the vspace interface has changed and is now functionally incorrect. Due to it not being in use it is being deleted.
|
#
0016dfc6 |
|
13-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix all the whitespace - remove trailing whitespace - remove duplicate blank lines - remove blank lines at end of files
|
#
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
80b9e99e |
|
20-Jun-2016 |
Kofi Doku Atuah <kofi.dokuatuah@nicta.com.au> |
Move sel4_debug.h back into libsel4utils This patch also renames a header {sel4debug/sel4_debug.h=>sel4utils/strerror.h}. Additionally, convert some header guards to #pragma once and update README.md to describe what things should go into libsel4utils and libsel4debug. SELFOUR-513
|
#
9c0f7387 |
|
09-Jun-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
libsel4utils: Formatting fixes to README. When Bitbucket/Github sees Markdown indented by four spaces, it treats it as code. This was causing these bullet lists to look a little odd.
|