genode/repos/base/include/spec/x86/cpu
Norman Feske 2a1240d1e9 base: provide generic cpu/string.h
This patch uses the formerly x86-specific cpu/string.h for all
architectures if no spec/<arch> variant exists.

Issue #4456
2023-01-24 12:07:28 +01:00
..
atomic.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
consts.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
memory_barrier.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vcpu_state.h nova: support transfer of IA32_TSC_AUX MSR for vCPUs 2021-11-29 15:10:52 +01:00