tree 632050b8e4d847dbb2955ecb196f705e8e1743de
parent f39d783ef3ef4ba7a795e86848a4b2652ec34eaf
author Curtis Millar <curtis.millar@data61.csiro.au> 1600677905 +1000
committer Curtis Millar <curtis.millar@data61.csiro.au> 1600729364 +1000

Constructors between vsyscall init and libc init

Add a region for constructors to be placed between __sysinfo being
initialised to sel4_vsyscall and libc_init to allow a user-level
implementation to set up virtual memory syscalls use by libc_init whilst
depending on a functioning implementation of malloc.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>