#!/bin/sh
UNAME=$(uname -r)
./configure --disable-leds --enable-shm --enable-sched-lxrt --enable-fpu --enable-compat --with-linux-dir=/usr/src/linux-headers-$UNAME --prefix=/usr/realtime-$UNAME