Return Home

Contact:Sitemap:Printer Friendly
  • News
    • News
    • Current Releases
    • Previous Releases
    • NICTA News
  • Research
    • Research
    • Research Themes
    • Business Areas
    • Projects
    • Collaboration
    • Case Studies
  • Education
    • Education
    • Enhanced PhD Program
    • Scholarships
    • Advanced ICT Coursework
    • Outreach
  • Business
    • Business
    • About Commercialisation
    • Market Engagement
    • Business Development
    • Spin-outs
    • Licensing
    • Business Areas
    • NICTA Short Courses
  • Events
    • Events
    • Events Calendar
    • Techfest
    • Big Picture Seminar Series
    • Free Seminars
    • Sensor Network Forum
    • Meet the Founder
    • Upcoming Short Courses
  • About
    • About NICTA
    • Mission
    • Our Values
    • Management
    • Board
    • Publications
    • Governance
    • Contact Details
    • Careers at NICTA
    • NICTA Website
  • People
Research >  ERTOS >  Software >  Kenge >  Devel >  Index
  • ERTOS Home
  •  
  • News
  • Events
  • Jobs
  • Research
  • People
  • Publications
  • Software
    • Benchmarks
    • Tools
    • Android on OKL4
    • Binaries
    • CAmkES
    • FASS
    • Kenge
    • L4/Darwin
    • Linux on Linux
    • OKL4 for HTC Dream
    • Prebuilt
    • Sulima
    • Unsupported
    • VOIP Demonstrator
    • Virtualisation
  • Hardware
  • Education
  • Collaboration and Commercialisation
  • Contact
  • Search
Find out how ICT can support biomedical and clinical researchFind out more. Managing complexity by developing new tools and processes. Managing Complexity

Library: libl4

A port of the L4 system call bindings to the Kenge build framework. This is required if you want to make L4 system calls.

Download
libl4--devel--1.1--version-0.tar.gz (65 kb)
Author
L4Ka team
Copyright 2009 NICTA : Terms + Conditions : Feedback : Last Updated Wed Feb 28 10:35:14 2007