Hi, Does anyone knows which linux distrubution we are using in mini2440? whether it belongs to hard real time OS or soft real time OS?
