SCHEDULER: set define LOAD_FREQ to (4*HZ+61)
/drivers/sfi
-rw-r--r-- Kconfig
-rw-r--r-- Makefile
-rw-r--r-- sfi_acpi.c
-rw-r--r-- sfi_core.c
-rw-r--r-- sfi_core.h