seL4_projects_libs
seL4_projects_libs copied to clipboard
vmmplatsupport: Fix issue with unaligned writes
strncpy was generating unaligned writes if the str length was not alligned. Because the source memory passed into the function's length isn't known, we copy via an alligned stack buffer to avoid an unaligned write to uncached memory.
@kent-mcleod shall we merge this and make an issue for the TODO above?
Have merged this now to unblock the web server test.