Posts tagged "archlinux"

• Getting started with RTEMS on Archlinux

  May 28, 2013

  Posted in rtems, gsoc, archlinux
• My perfect terminal

  November 24, 2012

  Posted in gnu/linux, zsh, terminator, archlinux, solarized