original_kernel/drivers/char/ipmi
..
Kconfig
Makefile
ipmi_bt_sm.c
ipmi_devintf.c
ipmi_kcs_sm.c
ipmi_msghandler.c
ipmi_poweroff.c
ipmi_si_intf.c
ipmi_si_sm.h
ipmi_smic_sm.c
ipmi_watchdog.c