config('KERNEL_KALLSYMS', false) config('GLUON_SPECIALIZE_KERNEL', true) no_opkg() defaults { class = 'tiny', -- 32M RAM } -- VoCore device('vocore-8M', 'vocore_vocore-8m', { factory = false, }) device('vocore-16M', 'vocore_vocore-16m', { factory = false, })