14.1 Cài đặt Linux Kernel chạy Real Time