Read Fomos Kernel (printfk) is the fk_std macro is used for getting user input in the FOMOS kernel or in applications or
commands. This is a easier way of getting user input than using scanf().

Example:

    use fk_std::(readfk);

    readfk!("User input");

