Index of /usr/src/linux-headers-4.15.0-212-generic/include/config/ipmi/

../
device/                                            03-Jun-2023 06:18                   -
dmi/                                               03-Jun-2023 06:18                   -
proc/                                              03-Jun-2023 06:18                   -
handler.h                                          23-May-2023 12:17                   0
poweroff.h                                         23-May-2023 12:17                   0
si.h                                               23-May-2023 12:17                   0
ssif.h                                             23-May-2023 12:17                   0
watchdog.h                                         23-May-2023 12:17                   0