The babora Linux distribution