ARMLinux @ Simtec

KAutobuild for kernel 2.6.25-git5

pie chart showing number of machines per default configuration for the 2.6.25-git5 kernel buildThe build was performed on gerald.kyllikki.org using gcc version 4.2.2 and binutils version 2.17.

This build attempted 82 default configurations resulting in kernels which supported 127 distinct machines which represents 4% of the 3287 machines currently registered.

The build produced 274 unique warnings across all built kernels and 47 unique warnings across all modules.


Attempted Configurations

ConfigurationzImageModulesMachines
Size (K)WarningsSize (K)Warnings
ns9xxx_defconfig10425930052
mx1ads_defconfig1032633251
realview_defconfig123263051
realview-smp_defconfig1317616451
h7202_defconfig1180696851
cam60_defconfig15847120051
h7201_defconfig74174251
tct_hammer_defconfig79381251
shannon_defconfig1238811551
edb7211_defconfig7948No modules built1
fortunet_defconfig6438No modules built1
at91sam9260ek_defconfig1071811551
at91cap9adk_defconfig132593851
s3c2410_defconfig153491994518
msm_defconfig9189No modules built1
at91sam9rlek_defconfig92593851
cerfcube_defconfig10359153491
versatile_defconfig1300959052
h3600_defconfig1221984051
sam9_l9260_defconfig17289No modules built1
at91sam9263ek_defconfig1304913251
ep93xx_defconfig1505102258
at91sam9261ek_defconfig11671011551
assabet_defconfig12561027151
collie_defconfig113010No modules built1
lusl7200_defconfig577103051
yl9200_defconfig16451029051
at91rm9200ek_defconfig1102103051
jornada720_defconfig111310122651
ebsa110_defconfig11421040161
lpd7a400_defconfig133110No modules built1
onearm_defconfig1285101251
lart_defconfig99310206851
at91rm9200dk_defconfig1109103051
pxa255-idp_defconfig12381010751
mainstone_defconfig12441010851
simpad_defconfig125410150671
hackkit_defconfig1050103051
lubbock_defconfig12311130151
kafa_defconfig10241147451
shark_defconfig115011117871
kb9202_defconfig1320113651
lpd7a404_defconfig142211No modules built1
badge4_defconfig1168112167681
picotux200_defconfig835115159141
integrator_defconfig1331113051
ixp2000_defconfig1390121256
ks8695_defconfig1034123051
pleb_defconfig9591255051
netx_defconfig13361371753
csb637_defconfig1398133651
csb337_defconfig1427132251
lpd270_defconfig1418131251
iop33x_defconfig1636142252
ecbat91_defconfig1662142251
neponset_defconfig12911466161
ateb9200_defconfig1090143502141
iop32x_defconfig2036143155
rpc_defconfig140415912101
orion5x_defconfig17361635275
ixp4xx_defconfig1622161079814
eseries_pxa_defconfig109417No modules built1
carmeva_defconfig12101713351
em_x270_defconfig145017968271
netwinder_defconfig140918No modules built1
pnx4008_defconfig14811911293281
footbridge_defconfig125721152384
cm_x270_defconfig141621894751
colibri_defconfig1786351028371
spitz_defconfig1414395152123
magician_defconfig1263133132971
am200epdkit_defconfigFailed to build zImage
clps7500_defconfigFailed to build zImage
corgi_defconfigFailed to build zImage
iop13xx_defconfigFailed to build zImage
ixp23xx_defconfigFailed to build zImage
littleton_defconfigFailed to build zImage
omap_h2_1610_defconfigFailed to build zImage
omap_osk_5912_defconfigFailed to build zImage
pcm027_defconfigFailed to build zImage
trizeps4_defconfigFailed to build zImage
zylonite_defconfigFailed to build zImage

Active machines

AML M5900 series devices

This machine is maintained by David Anders more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

ARM Integrator

Image of ARM IntegratorThis machine is maintained by David Rusling more information is available from its website. Kernels were built that supported this machine from these default configurations: integrator_defconfig

ARM RealView Emulation Baseboard

This machine is maintained by Catalin Marinas more information is available from its website. Kernels were built that supported this machine from these default configurations: realview_defconfig, realview-smp_defconfig

ARM RealView Versatile Application

This machine is maintained by Catalin Marinas more information is available from its website. Kernels were built that supported this machine from these default configurations: versatile_defconfig

ARM Versatile Porting Board

Image of ARM Versatile Porting BoardThis machine is maintained by Philippe Robin more information is available from its website. Kernels were built that supported this machine from these default configurations: versatile_defconfig

AT91RM9200 Evaluation Kit

This machine is maintained by Thibaut VARENE more information is available from its website. Kernels were built that supported this machine from these default configurations: at91rm9200ek_defconfig

AT91SAM9RL Evaluation Kit

This machine is maintained by Patrice Vilchez more information is available from its website. Kernels were built that supported this machine from these default configurations: at91sam9rlek_defconfig

ATMEL AT91CAP9A-DK development kit

This machine is maintained by Stelian Pop more information is available from its website. Kernels were built that supported this machine from these default configurations: at91cap9adk_defconfig

ATMEL AT91RM9200 Design Kit

Image of ATMEL AT91RM9200 Design KitThis machine is maintained by Arm Based Products Application Group more information is available from its website. Kernels were built that supported this machine from these default configurations: at91rm9200dk_defconfig, yl9200_defconfig

ATMEL AT91SAM9260 Evaluation Kit

This machine is maintained by Patrice Vilchez more information is available from its website. Kernels were built that supported this machine from these default configurations: at91sam9260ek_defconfig

ATMEL AT91SAM9261 Evaluation Kit

This machine is maintained by Arm Based Products Application Group more information is available from its website. Kernels were built that supported this machine from these default configurations: at91sam9261ek_defconfig

ATMEL AT91SAM9263 Evaluation Kit

This machine is maintained by Patrice Vilchez more information is available from its website. Kernels were built that supported this machine from these default configurations: at91sam9263ek_defconfig

Accelent PXA IDP

This machine is maintained by Jeff Sutherland. Kernels were built that supported this machine from these default configurations: pxa255-idp_defconfig

Acer n30-B

Image of Acer n30-BThis machine is maintained by Pavel Mateja more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Acorn RiscPC

Image of Acorn RiscPCThis machine is maintained by Russell King more information is available from its website. Kernels were built that supported this machine from these default configurations: rpc_defconfig

Ajeco 1ARM single board computer

Image of Ajeco 1ARM single board computerThis machine is maintained by Lennert Buytenhek more information is available from its website. Kernels were built that supported this machine from these default configurations: onearm_defconfig

Applied Data Systems Sphere

This machine is maintained by Jeff Lackey more information is available from its website. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

Armzone.com QT2410

This machine is maintained by Harald Welte more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

CATS

Image of CATSThis machine is maintained by Vince Sanders more information is available from its website. Kernels were built that supported this machine from these default configurations: footbridge_defconfig

Cirrus Logic EDB9302A Dev Board

This machine is maintained by Brian Austin more information is available from its website. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

Cirrus Logic Product Development Bo

Image of Cirrus Logic Product Development BoThis machine is maintained by Brian Austin. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

Cirrus Logic ep9302 dev board

This machine is maintained by Brian Kircher. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

Cirrus Logic ep9312 dev board

This machine is maintained by Paul Jordan. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

Cirrus Logic ep9315 dev board

This machine is maintained by Paul Jordan. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

Cirrus-EDB7211

This machine is maintained by Mike Touloumtzis more information is available from its website. Kernels were built that supported this machine from these default configurations: edb7211_defconfig

Cogent CSB337

This machine is maintained by Christopher Bahns. Kernels were built that supported this machine from these default configurations: csb337_defconfig

Cogent CSB637

This machine is maintained by Bill Gatliff more information is available from its website. Kernels were built that supported this machine from these default configurations: csb637_defconfig

Colibri

This machine is maintained by Detlef Vollmann. Kernels were built that supported this machine from these default configurations: colibri_defconfig

Compaq Personal Server

Image of Compaq Personal ServerThis machine is maintained by Jamey Hicks more information is available from its website. Kernels were built that supported this machine from these default configurations: footbridge_defconfig

CompuLab ARMCORE module

This machine is maintained by Guennadi Liakhovetski more information is available from its website. Kernels were built that supported this machine from these default configurations: cm_x270_defconfig

Conitec's ARM9-based mcu-module

This machine is maintained by Peer more information is available from its website. Kernels were built that supported this machine from these default configurations: carmeva_defconfig

ConnectCore 9P 9360 on JumpStart

This machine is maintained by Uwe Kleine-König more information is available from its website. Kernels were built that supported this machine from these default configurations: ns9xxx_defconfig

ConnectCore 9P 9360 on a9m9750dev

This machine is maintained by Uwe Kleine-König more information is available from its website. Kernels were built that supported this machine from these default configurations: ns9xxx_defconfig

Coyote Gateway Reference Design

Image of Coyote Gateway Reference DesignThis machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

D-Link DNS-323

Image of D-Link DNS-323This machine is maintained by Herbert Valerio Riedel more information is available from its website. Kernels were built that supported this machine from these default configurations: orion5x_defconfig

D-Link DSM-G600

This machine is maintained by Alessandro Zummo more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

DNARD (codenamed Shark)

Image of DNARD (codenamed Shark)This machine is maintained by Alexander Schulz more information is available from its website. Kernels were built that supported this machine from these default configurations: shark_defconfig

ECB AT91

This machine is maintained by Nelson Castillo more information is available from its website. Kernels were built that supported this machine from these default configurations: ecbat91_defconfig

ELFIN s3c2413

This machine is maintained by KwanghyunLa. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

ENP-2611

Image of ENP-2611This machine is maintained by Gerry Murphy more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp2000_defconfig

Embest ATEB9200

This machine is maintained by Andrew Patrikalakis more information is available from its website. Kernels were built that supported this machine from these default configurations: ateb9200_defconfig

FortuNet

This machine is maintained by Boris Itkis. Kernels were built that supported this machine from these default configurations: fortunet_defconfig

GLAN Tank

This machine is maintained by Martin Michlmayr more information is available from its website. Kernels were built that supported this machine from these default configurations: iop32x_defconfig

GMS30C7201

This machine is maintained by Jungjun Kim. Kernels were built that supported this machine from these default configurations: h7201_defconfig

Gateway 7001 AP

This machine is maintained by John Gordon more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Gateworks Avila SBC

Image of Gateworks Avila SBCThis machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Gemtek WX5715 (Linksys WRV54G)

Image of Gemtek WX5715 (Linksys WRV54G)This machine is maintained by George Joseph more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Giant Shoulder Loft

This machine is maintained by Tom Billman more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Glomation GESBC-9312-sx

Image of Glomation GESBC-9312-sxThis machine is maintained by Lennert Buytenhek more information is available from its website. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

Gumstix

This machine is maintained by W. Gordon Kruberg more information is available from its website. Kernels were built that supported this machine from these default configurations: eseries_pxa_defconfig

HMS30C7202

This machine is maintained by Jungjun Kim. Kernels were built that supported this machine from these default configurations: h7202_defconfig

HP Jornada 720

Image of HP Jornada 720This machine is maintained by John Ankcorn. Kernels were built that supported this machine from these default configurations: jornada720_defconfig

HP iPAQ H1940 handheld computer

Image of HP iPAQ H1940 handheld computerThis machine is maintained by Jamey Hicks more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

HP iPAQ H3600

Image of HP iPAQ H3600This machine is maintained by Jamey Hicks more information is available from its website. Kernels were built that supported this machine from these default configurations: h3600_defconfig

HP iPAQ rx3715

Image of HP iPAQ rx3715This machine is maintained by Ben Dooks more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

HTC Magician

This machine is maintained by pHilipp Zabel more information is available from its website. Kernels were built that supported this machine from these default configurations: magician_defconfig

Halibut

This machine is maintained by Brian Swetland more information is available from its website. Kernels were built that supported this machine from these default configurations: msm_defconfig

Hewlett-Packard Laboratories BadgeP

This machine is maintained by Christopher Hoover. Kernels were built that supported this machine from these default configurations: badge4_defconfig

Hilscher netX500 NX-DKN Dev. Board

This machine is maintained by Robert Schwebel more information is available from its website. Kernels were built that supported this machine from these default configurations: netx_defconfig

Hilscher netX500 NXDB500 Dev. Board

This machine is maintained by Robert Schwebel more information is available from its website. Kernels were built that supported this machine from these default configurations: netx_defconfig

Hilscher netX500 NXEB500-HMI Eval B

This machine is maintained by Michael Trensch more information is available from its website. Kernels were built that supported this machine from these default configurations: netx_defconfig

IXDP425 Development Platform

Image of IXDP425 Development PlatformThis machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Intel Assabet

Image of Intel AssabetThis machine is maintained by Nicolas Pitre more information is available from its website. Kernels were built that supported this machine from these default configurations: assabet_defconfig, neponset_defconfig

Intel EBSA110

Image of Intel EBSA110This machine is maintained by Russell King more information is available from its website. Kernels were built that supported this machine from these default configurations: ebsa110_defconfig

Intel EBSA285

Image of Intel EBSA285This machine is maintained by Russell King more information is available from its website. Kernels were built that supported this machine from these default configurations: footbridge_defconfig

Intel HCDDBBVA0 Development Platfor

This machine is maintained by Nicolas Pitre more information is available from its website. Kernels were built that supported this machine from these default configurations: mainstone_defconfig

Intel IQ31244 Serial ATA Evaluation

This machine is maintained by Deepak Saxena. Kernels were built that supported this machine from these default configurations: iop32x_defconfig

Intel IQ80321

This machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: iop32x_defconfig

Intel IQ80331

This machine is maintained by Dave Jiang more information is available from its website. Kernels were built that supported this machine from these default configurations: iop33x_defconfig

Intel IQ80332

This machine is maintained by Dave Jiang more information is available from its website. Kernels were built that supported this machine from these default configurations: iop33x_defconfig

Intel IXCDP1100

This machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Intel IXDP2400

This machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp2000_defconfig

Intel IXDP2401

This machine is maintained by Deepak Saxena. Kernels were built that supported this machine from these default configurations: ixp2000_defconfig

Intel IXDP2800

Image of Intel IXDP2800This machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp2000_defconfig

Intel IXDP2801

This machine is maintained by Deepak Saxena. Kernels were built that supported this machine from these default configurations: ixp2000_defconfig

Intel IXDP28X5

This machine is maintained by Andrzej Mialkowski. Kernels were built that supported this machine from these default configurations: ixp2000_defconfig

Intel IXDP465

This machine is maintained by Deepak Saxena more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Intel IXDPG425 Development Platform

This machine is maintained by Deepak Saxena. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Intel ep80219 development board

This machine is maintained by Dan Williams more information is available from its website. Kernels were built that supported this machine from these default configurations: iop32x_defconfig

Intrinsyc CerfBoard

This machine is maintained by Frank Becker more information is available from its website. Kernels were built that supported this machine from these default configurations: cerfcube_defconfig

Iomega NAS 100d

This machine is maintained by tom king. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

KS8695

This machine is maintained by Kam Lee. Kernels were built that supported this machine from these default configurations: ks8695_defconfig

KuroBox Pro

Image of KuroBox ProThis machine is maintained by Tzachi Perelstein more information is available from its website. Kernels were built that supported this machine from these default configurations: orion5x_defconfig

KwikByte CAM60 Board (AT91SAM9260)

This machine is maintained by kb9200_dev more information is available from its website. Kernels were built that supported this machine from these default configurations: cam60_defconfig

L7200 Internet System Processor

This machine is maintained by Steven J. Hill more information is available from its website. Kernels were built that supported this machine from these default configurations: lusl7200_defconfig

LART

Image of LARTThis machine is maintained by Erik Mouw more information is available from its website. Kernels were built that supported this machine from these default configurations: lart_defconfig

Linksys NSLU2

This machine is maintained by Rod Whitby more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Logic Product Development LPD7A400

This machine is maintained by Marc Singer more information is available from its website. Kernels were built that supported this machine from these default configurations: lpd7a400_defconfig

Logic Product Development LPD7A404

This machine is maintained by Marc Singer more information is available from its website. Kernels were built that supported this machine from these default configurations: lpd7a404_defconfig

Logic Product Development PXA270 Ca

Image of Logic Product Development PXA270 CaThis machine is maintained by Peter Barada more information is available from its website. Kernels were built that supported this machine from these default configurations: lpd270_defconfig

Lubbock developer platform

This machine is maintained by Nicolas Pitre. Kernels were built that supported this machine from these default configurations: lubbock_defconfig

Marvell Orion-2 Development Board

This machine is maintained by Tzachi Perelstein. Kernels were built that supported this machine from these default configurations: orion5x_defconfig

Marvell Orion-NAS reference design

This machine is maintained by Tzachi Perelstein. Kernels were built that supported this machine from these default configurations: orion5x_defconfig

Motorola MX1 ADS Board

This machine is maintained by Shane Nay. Kernels were built that supported this machine from these default configurations: mx1ads_defconfig

NetWinder

Image of NetWinderThis machine is maintained by Russell King more information is available from its website. Kernels were built that supported this machine from these default configurations: footbridge_defconfig, netwinder_defconfig

NexVision NexCoder_2440 board

Image of NexVision NexCoder_2440 boardThis machine is maintained by Guillaume GOURAT more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

NexVision OTOM board

Image of NexVision OTOM boardThis machine is maintained by Guillaume GOURAT more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Olimex SAM9-L9260

This machine is maintained by Tsvetan Usunov more information is available from its website. Kernels were built that supported this machine from these default configurations: sam9_l9260_defconfig

Philips PNX4008 (Premo)

This machine is maintained by Vitaly Wool. Kernels were built that supported this machine from these default configurations: pnx4008_defconfig

Picotux 200

This machine is maintained by Simon Richter more information is available from its website. Kernels were built that supported this machine from these default configurations: picotux200_defconfig

Pleb

Image of PlebThis machine is maintained by Daniel Potts more information is available from its website. Kernels were built that supported this machine from these default configurations: pleb_defconfig

QNAP TS-109/TS-209

Image of QNAP TS-109/TS-209This machine is maintained by Tim Ellis more information is available from its website. Kernels were built that supported this machine from these default configurations: orion5x_defconfig

S3C2440 Evaluation Board

Image of S3C2440 Evaluation BoardThis machine is maintained by Sangwook Lee more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

SMDK2413

This machine is maintained by Kevin Lo more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Samsung S3C2412 Evaluation platform

This machine is maintained by YONGKAL. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Samsung S3C2443 Evaluation Platform

This machine is maintained by Suh, Seung-chull. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Shannon (TuxScreen) Web Phone

Image of Shannon (TuxScreen) Web PhoneThis machine is maintained by Russ Dill more information is available from its website. Kernels were built that supported this machine from these default configurations: shannon_defconfig

Sharp Zaurus SL-5000(D)/SL-5500

This machine is maintained by Richard Purdie. Kernels were built that supported this machine from these default configurations: collie_defconfig

Sharp Zaurus SL-C1000

This machine is maintained by Richard Purdie. Kernels were built that supported this machine from these default configurations: spitz_defconfig

Sharp Zaurus SL-C3000

Image of Sharp Zaurus SL-C3000This machine is maintained by Richard Purdie. Kernels were built that supported this machine from these default configurations: spitz_defconfig

Sharp Zaurus SL-C3100/SL-C3200

Image of Sharp Zaurus SL-C3100/SL-C3200This machine is maintained by Richard Purdie. Kernels were built that supported this machine from these default configurations: spitz_defconfig

Simpad

This machine is maintained by Messerer Juergen. Kernels were built that supported this machine from these default configurations: simpad_defconfig

Simtec IM2440D20 (Osiris)

Image of Simtec IM2440D20 (Osiris)This machine is maintained by Ben Dooks more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Simtec bast board

Image of Simtec bast boardThis machine is maintained by Vincent Sanders more information is available from its website. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Sperry-Sun Kafa

This machine is maintained by Sergei Sharonov. Kernels were built that supported this machine from these default configurations: kafa_defconfig

TMS Platform

This machine is maintained by Thomas Gleixner. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

Technologic Systems TS-72xx SBC

Image of Technologic Systems TS-72xx SBCThis machine is maintained by pit. Kernels were built that supported this machine from these default configurations: ep93xx_defconfig

The Hack Kit core cpu board

This machine is maintained by Stefan Eletzhofer more information is available from its website. Kernels were built that supported this machine from these default configurations: hackkit_defconfig

Thecus N2100

Image of Thecus N2100This machine is maintained by Lennert Buytenhek more information is available from its website. Kernels were built that supported this machine from these default configurations: iop32x_defconfig

TinCanTools Hammer CPU Board

This machine is maintained by David Anders more information is available from its website. Kernels were built that supported this machine from these default configurations: tct_hammer_defconfig

VR1000

Image of VR1000This machine is maintained by Ben Dooks. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

anubis

This machine is maintained by Vincent Sanders. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

em-x270

This machine is maintained by Mike Rapoport more information is available from its website. Kernels were built that supported this machine from these default configurations: em_x270_defconfig

kb9200

This machine is maintained by kb9200_dev more information is available from its website. Kernels were built that supported this machine from these default configurations: kb9202_defconfig

kixrp435

This machine is maintained by Allen Hung more information is available from its website. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

smdk2410

This machine is maintained by Jaeoh Cha. Kernels were built that supported this machine from these default configurations: s3c2410_defconfig

wg302v2

This machine is maintained by Bryan J. Byerly. Kernels were built that supported this machine from these default configurations: ixp4xx_defconfig

Back to the main Kautobuild page