| #
28fa19b9 |
|
04-Aug-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Fix up x86_64_sel4 arch after merge
|
| #
de8621ca |
|
16-Aug-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Support a seL4 x86_64 build
|
| #
7acbbdfd |
|
11-Jan-2014 |
Rich Felker <dalias@aerifal.cx> |
make type of st_dev explicitly dev_t in x86_64 stat.h
otherwise it's unclear that it's correct. aside from that, it makes
for a gratuitous difference between the x86_64 header and the upcoming
x32 header.
|
| #
bb89bdd0 |
|
15-Feb-2011 |
Nicholas J. Kain <njkain@gmail.com> |
Update x86_64 bits to mirror (modulo platform differences) the latest changes
to i386.
|
| #
1e126325 |
|
15-Feb-2011 |
Nicholas J. Kain <njkain@gmail.com> |
Port musl to x86-64. One giant commit!
|