forked from Imagelibrary/seL4
Fixes a syntax error on libsel4 on ia32 with position independent code compilation options. Signed-off-by: Kent McLeod <kent@kry10.com>
Fixes a syntax error on libsel4 on ia32 with position independent code compilation options. Signed-off-by: Kent McLeod <kent@kry10.com>