100644 blob 3dc8f90bc88239bfb629cb09143a1e1d230dba10	kernel_arch_data.h
100644 blob 6ec89055c3a1937bbc3788ae40d9b747d0c2ff8e	kernel_arch_func.h
100644 blob 5fd04ed0fcefd4babb7124e58c3ade794eb2f7b8	kernel_arch_thread.h
100644 blob d5921dc50c113f954c43350cfa10749687fe0bab	offsets_short_arch.h
100644 blob 8c3fe9d1ca1c45c99ce5c27e957e9effed37858e	xuk-switch.h