Tools on Linux #

• linux commands
• linux debug
• linux latex
• linux pdf
• linux systemd
• linux video
• linux virtualization
  • buildroot

Other tools #

• GEM5: comparch simulator
• Sourcegraph: code searching
• C++ development
• AutoHotKey
• fio