add nkmcu

hc

2023-11-06 170c1c0fa90ad9f762d1877f8a57efce706fc95a

1
2
3
4
5
6
/* SPDX-License-Identifier: GPL-2.0 */
#ifdef __i386__
#include "faultinfo_32.h"
#else
#include "faultinfo_64.h"
#endif