History log of /seL4-camkes-master/projects/musllibc/arch/mipsn32/bits/stdint.h
Revision Date Author Comments
# 5972c4a4 17-Apr-2016 Rich Felker <dalias@aerifal.cx>

add mips n32 port (ILP32 ABI for mips64)

based on patch submitted by Jaydeep Patil, with minor changes.