http://www.l4dev.org/ 2010-07-06T11:37:56+01:00 http://www.l4dev.org/ http://www.l4dev.org/lib/images/favicon.ico text/html 2010-07-05T11:17:44+01:00 Bahadir Balban http://www.l4dev.org/manual_installation_guide?rev=1278325064&do=diff This is not a full getting started guide but it rather contains instructions for manually installing certain packages. 1.) Manually Installing Git a. Create a directory for git. % mkdir /opt/archives/git b. Download git tarball(for example git-1.6.3.tar.gz) from <http://kernel.org/pub/software/scm/git>. text/html 2010-06-29T18:01:28+01:00 Gary Schnabl http://www.l4dev.org/application_development?rev=1277830888&do=diff LIBL4 is the generic userspace library that provides a unified interface to the Codezero microkernel. Codezero pagers and applications use this library to initiate system calls. LIBL4 is a plain and abstract library. It implements a thin layer of glue logic for every system call. Since the microkernel does not define any policy for the IPC protocol, LIBL4 also provides certain helpers to form up a userspace protocol for IPC. Finally LIBL4 includes a small set of API helpers for creation of threa… text/html 2010-06-29T13:21:28+01:00 Gary Schnabl http://www.l4dev.org/documentation?rev=1277814088&do=diff Codezero documentation below includes information on getting started with development, tutorials, API reference, architecture descriptions and more. If you believe you are missing information or a concept is not described clearly enough, please notify us by direct email or ask on our mailing list.