#
27245523 |
|
04-Aug-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Fix up i386_sel4 arch after merge
|
#
048a4e72 |
|
26-Aug-2014 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Port muslc to seL4 build system and environment. Defines custom 'seL4' architectures for ARM and i386
|
#
0004ea61 |
|
18-Nov-2012 |
Rich Felker <dalias@aerifal.cx> |
fix breakage from introducing bits header for sys/io.h apparently some other archs have sys/io.h and should not break just because they don't have the x86 port io functions. provide a blank bits/io.h everywhere for now.
|
#
61aa6324 |
|
18-Nov-2012 |
Rich Felker <dalias@aerifal.cx> |
add port io functions to sys/io.h based on proposal by Isaac Dunham. nonexistance of bits/io.h will cause inclusion of sys/io.h to produce an error on archs that are not supposed to have it. this is probably the desired behavior, but the error message may be a bit unusual.
|