PKG_GDB = gdb-6.6
PKG_SKELL = skell-mx
PKG_SYSCONFIG = sysconfig-mx
PKG_UDEV = udev-mx
