rwkv.cpp/extras/cpu_info.c

#include "rwkv.h"

#include <stdio.h>

int main() {
    printf("%s", rwkv_get_system_info_string());
}