Takayuki Okamoto 9989f41fd3 add arm64 support ...

- add arm64 dependent codes with GICv3 and SVE support
- fix bugs based on architecture separation requests

2017-09-05 15:06:27 +09:00

..

attached-mic.lds

vsyscall_gettimeofday: make timeval from TSC

2015-11-11 19:45:14 +09:00

builtin-mic.lds

vsyscall_gettimeofday: make timeval from TSC

2015-11-11 19:45:14 +09:00

builtin-x86.lds

vsyscall_gettimeofday: make timeval from TSC

2015-11-11 19:45:14 +09:00

config.attached-mic

fix REQ-31

2016-03-08 15:19:03 +09:00

config.builtin-mic

fix REQ-31

2016-03-08 15:19:03 +09:00

config.builtin-x86

fix REQ-31

2016-03-08 15:19:03 +09:00

config.smp-arm64.in

add arm64 support

2017-09-05 15:06:27 +09:00

config.smp-x86

fix REQ-31

2016-03-08 15:19:03 +09:00

smp-arm64_type1.lds

add arm64 support

2017-09-05 15:06:27 +09:00

smp-arm64_type2.lds

add arm64 support

2017-09-05 15:06:27 +09:00

smp-arm64_type3.lds

add arm64 support

2017-09-05 15:06:27 +09:00

smp-arm64_type4.lds

add arm64 support

2017-09-05 15:06:27 +09:00

smp-x86.lds

vsyscall_gettimeofday: make timeval from TSC

2015-11-11 19:45:14 +09:00