Skip to Main Content
About Us
Board
Contact Details
Careers
Job Opportunities
Benefits at NICTA
Immigration and Relocation
FAQs
Governance
Mission and Values
Management
Research
Computer Vision
Projects
People
Control and Signal Processing
Research Topics
People
Projects
Machine Learning
Research Topics
People
Projects
Networks
Research Topics
Discovery and Dissemination Mechanisms
Privacy and Trust
Management of Connectivity
People
Collaborations
Projects
Library
Research Corner
Research Outcomes
Optimisation
Research Topics
People
Collaborations
Projects
Software Systems
Projects
Education
Enhanced PhD Program
e4 Power Meter
Scholarships
Canberra Research Lab
Queensland Research Lab
Summer Internship Program 2010/2011
Summer Internship 2010/2011 Project List
Sydney Research Labs
Scholarship Opportunities at the University of New South Wales
Scholarship Opportunities at The University of Sydney
Victoria Research Lab
Advanced Graduate Coursework
Outreach
Summer Scholars Program
National Computer Science School
ed1
2010 NICTA Creative Embedded Challenge
Work Experience
Scientists in Schools
ARTEMIS Orchestra Contest
2009 ARTEMIS Orchestra Contest
2008 ARTEMIS Orchestra Contest
2007 ARTEMIS Orchestra Contest Entry
Visiting Scholarships
NII Internship
Business
Broadband and the Digital Economy
Projects
Collaborations
Events/Trade Fairs
Contacts
Case Studies
Health
Projects
Bioinformatics
Collaborations
Events/Trade Fairs
Contacts
The Research
Infrastructure Transport and Logistics
Projects
Collaborations
Events/Trade Fairs
Future Logistics Living Lab
Case Studies/Media
Contacts
Safety and Security
Projects
Collaborations
Events/Trade Fairs
Case Studies
Contacts
Publications
Research Publications
Corporate Publications
2010 Publications
2009 Publications
2008 Publications
2007 Publications
2006 Publications
2005 Publications
2004 Publications
2003 Publications
Events
Big Picture Seminar Series
VRL Seminars
Archives
QRL Seminars
Archives
CRL Seminars
Archives
NSW Seminars
Archive
Richard Stallman - seminar pics
Meet the Founder
VRL Series
Archives
CRL Series
MTF Robert Klupacs
MTF David Merson
Past events
People
Media
Current Releases
Previous Releases
2010 Media Releases
2009 Media Releases
2008 Media Releases
2007 Media Releases
2006 Media Releases
2005 Media Releases
2004 Media Releases
2003 Media Releases
NICTA News Newsletter
Search
Subscribe
:
Contact
:
Sitemap
:
Printer Friendly
ERTOS
News
Events
2012
Jobs
Research
seL4
L4.verified
Acknowlegdements
Approach
FAQ
Numbers
Proof
Publications
SSV'08
Call for Papers
Important Dates
Location
Organisers
Program Committee
Programme
Student Projects
Information Flow
CAmkES
Documentation
Power Management
DVS
Echidna
Device Drivers
Dingo
Co-Verification
Termite
Real-time Systems
Virtualisation
Secure Access Controller
L4
Performance
About Microkernels
Former Projects
ULDD
Gelato
Potoroo
Mungi
Src
Goanna
People
Current
Alumni
Publications
ERTOS Publications
Non-NICTA Publications
Selected undergraduate student theses
Software
Benchmarks
Switchbench
ipbench
Tools
Android on OKL4
Binaries
C-Parser
CAmkES
Home
About
News
Download
Documentation
Contact
FASS
Patches-External
Patches-Released
Patches-Wip
Patches-Supporting
Patches-Orig
Kenge
L4/Darwin
Linux on Linux
OKL4 for HTC Dream
Prebuilt
Sulima
Unsupported
VOIP Demonstrator
Src
Virtualisation
Linux On Linux
Release-0.1
Vnuma
seL4
Hardware
I-Box
PLEB
XPort Development Kit
e4Meter
Education
Courses We Run
General Information
PhD Research
Student Projects
Summer Research Scholarships
Undergraduate Thesis Topics
Collaboration and Commercialisation
Contact
Follow us on Twitter
Subscribe to our RSS feed
Home
>
Research
>
Software Systems
>
ERTOS
>
Software
>
Kenge
>
Devel
>
Index
Tool: build-tools
Kenge build system and other useful tools.
Download
build-tools--devel--1.1--patch-11.tar.gz
(37 kb)
Documents
Information on how bootable images work
Information about supported simulators
Information on how the build system is structured
External tools needed
Information on machines supported by the build system
Author
Ben Leslie
Licence
OzPLB
Latest Tweets
join the conversation