@ -2,7 +2,6 @@
rec {
pcBase = {
name = " p c " ;
uboot = null ;
kernelHeadersBaseConfig = " d e f c o n f i g " ;
kernelBaseConfig = " d e f c o n f i g " ;
# Build whatever possible as a module, if not stated in the extra config.
@ -50,9 +49,6 @@ rec {
kernelTarget = " u I m a g e " ;
# TODO reenable once manual-config's config actually builds a .dtb and this is checked to be working
#kernelDTB = true;
# XXX can be anything non-null, pkgs actually only cares if it is set or not
uboot = " p o g o p l u g 4 " ;
} ;
sheevaplug = {
@ -162,9 +158,6 @@ rec {
'' ;
kernelMakeFlags = [ " L O A D A D D R = 0 x 0 2 0 0 0 0 0 " ] ;
kernelTarget = " u I m a g e " ;
uboot = " s h e e v a p l u g " ;
# Only for uboot = uboot :
ubootConfig = " s h e e v a p l u g _ c o n f i g " ;
kernelDTB = true ; # Beyond 3.10
gcc = {
arch = " a r m v 5 t e " ;
@ -251,7 +244,6 @@ rec {
LATENCYTOP y
'' ;
kernelTarget = " z I m a g e " ;
uboot = null ;
gcc = {
arch = " a r m v 6 " ;
fpu = " v f p " ;
@ -342,7 +334,6 @@ rec {
XEN ? n
'' ;
kernelTarget = " z I m a g e " ;
uboot = null ;
} ;
scaleway-c1 = armv7l-hf-multiplatform // {
@ -374,7 +365,6 @@ rec {
kernelMakeFlags = [ " L O A D A D D R = 0 x 1 0 8 0 0 0 0 0 " ] ;
kernelTarget = " u I m a g e " ;
kernelDTB = true ;
uboot = true ; #XXX: any non-null value here is needed so that mkimage is present to build kernelTarget uImage
gcc = {
cpu = " c o r t e x - a 9 " ;
fpu = " n e o n " ;
@ -464,7 +454,6 @@ rec {
FTRACE n
'' ;
kernelTarget = " v m l i n u x " ;
uboot = null ;
gcc = {
arch = " l o o n g s o n 2 f " ;
abi = " n 3 2 " ;
@ -477,7 +466,6 @@ rec {
kernelAutoModules = false ;
kernelExtraConfig = " " ; # TBD kernel config
kernelTarget = " z I m a g e " ;
uboot = null ;
} ;
armv7l-hf-multiplatform = {
@ -489,7 +477,6 @@ rec {
kernelDTB = true ;
kernelAutoModules = true ;
kernelPreferBuiltin = true ;
uboot = null ;
kernelTarget = " z I m a g e " ;
kernelExtraConfig = ''
# Fix broken sunxi-sid nvmem driver.
@ -552,7 +539,6 @@ rec {
# which our initrd builder can't currently do easily.
USB_XHCI_TEGRA m
'' ;
uboot = null ;
kernelTarget = " I m a g e " ;
gcc = {
arch = " a r m v 8 - a " ;