History log of /seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/bits/sem.h
Revision Date Author Comments
# dfc1a37c 01-Apr-2015 Rich Felker <dalias@aerifal.cx>

aarch64: fix definition of sem_nsems in semid_ds structure

POSIX requires the sem_nsems member to have type unsigned short. we
have to work around the incorrect kernel type using matching
endian-specific padding.


# 01ef3dd9 10-Mar-2015 Szabolcs Nagy <nsz@port70.net>

add aarch64 port

This adds complete aarch64 target support including bigendian subarch.

Some of the long double math functions are known to be broken otherwise
interfaces should be fully functional, but at this point consider this
port experimental.

Initial work on this port was done by Sireesh Tripurari and Kevin Bortis.