Merge pull request #66 from riscv/debug_user_niceness