100644 blob 827bb3cd08d2fc21751aa137e314d59ce1ab3e5b	kernel_arch_data.h
100644 blob 8c3800025aaf8fe58af2fa74e2f8fc50cfe33f32	kernel_arch_func.h
100644 blob 78fb5ee900f41130c0c0fe177b9a65a3b16ab3cc	kernel_arch_thread.h
100644 blob d5921dc50c113f954c43350cfa10749687fe0bab	offsets_short_arch.h
100644 blob 8c3fe9d1ca1c45c99ce5c27e957e9effed37858e	xuk-switch.h