http://l4dev.org/ 2012-02-24T10:27:58+00:00 http://l4dev.org/ http://l4dev.org/lib/images/favicon.ico text/html 2010-06-11T06:11:04+00:00 http://l4dev.org/application_development:codezero_project_overview?rev=1276236664&do=diff << Back to Codezero Application Development Software Overview Codezero run-time consists of two main components; the microkernel and containers. The microkernel is the only privileged component in the Codezero run-time. It is considered as the single point of trust, namely the trusted computing base. It exposes a minimal system call API to userspace containers. It is also responsible for security checking of resource accesses issued by each container, through the use of its system call API. text/html 2010-06-09T20:11:15+00:00 http://l4dev.org/application_development:debugging?rev=1276114275&do=diff << Back to Codezero Application Development 1.) Codezero Debugging Overview As described in the Getting Started guide, the standard debugging method on Codezero is based on Insight/GDB debugger connected to a QEMU emulator instance. This set up provides an experience that is very close to In-Circuit-Emulator debugging of a real hardware platform. text/html 2009-11-19T18:11:31+00:00 http://l4dev.org/application_development:writing_applications?rev=1258654291&do=diff << Back to Codezero Application Development In the current release, the opportunities on writing Codezero Applications may be somewhat limited. Some of the limitations are listed below: Limitations * The libposix functionality is limited, e.g. a fraction of POSIX API calls are available (see list). * The C library functionality is limited, there is a need for porting uClibc. text/html 2010-06-10T09:01:08+00:00 http://l4dev.org/application_development:writing_applications2?rev=1276160468&do=diff libl4 is the generic userspace library that provides a unified interface to the Codezero system calls. Codezero pagers and applications use this library to initiate system calls, and higher level libraries such as libposix uses libl4 to translate POSIX API calls into appropriate ipc requests and system calls on Codezero.