http://l4dev.org/ 2012-02-21T14:11:44+00:00 http://l4dev.org/ http://l4dev.org/lib/images/favicon.ico text/html 2010-06-29T17:01:28+00:00 http://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-10T13:22:01+00:00 http://l4dev.org/application_development2?rev=1276176121&do=diff << Back to Documentation This tutorial provides a brief idea about what is possible and available for writing applications for Codezero from scratch. It also provides the details on how to get started with debugging, running modified code, and improving various parts of the software. text/html 2010-12-23T13:43:24+00:00 http://l4dev.org/build_from_scratch?rev=1293111804&do=diff This step-by-step guide explains on how to download, install, and configure various tools required to build, run, and debug Codezero. 1.) Creating the directory structure for Codezero sources and tools a. Make the following commands on the shell: text/html 2010-10-15T08:53:01+00:00 http://l4dev.org/codezero_api?rev=1287132781&do=diff This reference guide provides an insight to the Codezero Microkernel's raw system call interface and system-related data structures. In practice, system calls and system-related data structures are managed via a thin userspace library called libl4. text/html 2009-11-30T20:07:31+00:00 http://l4dev.org/codezero_api_old?rev=1259611651&do=diff This reference guide provides an insight to the Codezero Microkernel's raw system call interface and system-related data structures. In practice, system calls and system-related data structures are managed via a thin userspace library called libl4. text/html 2009-12-19T10:00:18+00:00 http://l4dev.org/codezero_architecture?rev=1261216818&do=diff << Back to Codezero Overview L4 Microkernel Architecture Codezero is a new L4 Microkernel that has been written from scratch, following the latest development and research principles on microkernel design. Codezero aims to carry the L4 microkernel flagship to a new level, by providing cutting edge microkernel technology and an actively supported community. text/html 2010-12-08T15:25:52+00:00 http://l4dev.org/codezero_overview?rev=1291821952&do=diff << Back to Documentation 1. Codezero microkernel overview * Codezero architecture overview * Codezero microkernel technical features 2. Architecture and runtime components * Containers * Capabilities * Communication * Virtualization * Multicore text/html 2010-06-11T05:19:27+00:00 http://l4dev.org/codezero_overview2?rev=1276233567&do=diff << Back to Documentation Codezero Microkernel Overview * Codezero Architecture Overview * Codezero Microkernel Technical Features Project Layout * Software Overview * Build System Overview * Configuration System * Directory Layout Debugging and Run-time Environment * Debugging Overview * Codezero Executable Image Layout * Run-time Physical Memory Layout * Run-time Virtual Memory Layout * Debugging Process text/html 2009-07-08T10:23:42+00:00 http://l4dev.org/codezero_technical_features?rev=1247048622&do=diff << Back to Codezero Overview General Features * System partitioning with the concept of containers * Fully capability-checked kernel provides: * Highly flexible and configurable resource management. * Elegant and fine-grain security model. text/html 2009-06-03T21:01:10+00:00 http://l4dev.org/codezero_use_cases?rev=1244062870&do=diff << Back to Codezero Overview As a flexible and abstract microkernel implementation, Codezero may be used in the following scenarios: Codezero can partition the virtual and physical memory resources on a system into multiple containers. Furthermore, it provides access to low-level hardware resources through mechanisms available via its API. As a result, Codezero can be used as a hypervisor upon which other OS kernels can be virtualized. In conclusion, it becomes possible to run multiple … text/html 2011-08-25T05:59:59+00:00 http://l4dev.org/contributions?rev=1314251999&do=diff The contribution content is only required if you would like to contribute to Codezero userspace libraries such as libl4. We encourage commercial or open source software development for purpose of bundling with Codezero Embedded Hypervisor. We don't claim any rights to software developed using any one of the Codezero Hypervisor Toolkits. In case you would like to contribute to Codezero userspace libraries, we ask for the contribution agreement to be signed. text/html 2009-09-25T09:08:23+00:00 http://l4dev.org/dev_build?rev=1253869703&do=diff << Back to Developer Codezero Build System Codezero build system is made up of a bunch of python scripts and SCons build files. Build related files: 1.) config/configuration.py This file parses the CML2 configuration output and creates a configuration structure that defines Container parameters and configuration parameters in a programmatical representation. It then saves this in a saveable format under build/config/ text/html 2009-09-27T15:43:31+00:00 http://l4dev.org/dev_codezero?rev=1254066211&do=diff << Back to Developer This is a list of missing features and bugs. They should be removed as fixed, and new ones added as new outstanding issues come up. KERNEL OUTSTANDING ISSUES: 1.) In-kernel structures delete/creation and modification locking should be handled with a correct and efficient methodology. text/html 2009-11-19T18:11:31+00:00 http://l4dev.org/dev_codezero_text?rev=1258654291&do=diff << Back to Developer This is a list of missing features and bugs. They should be removed as fixed, and new ones added as new outstanding issues come up. KERNEL OUTSTANDING ISSUES: 1.) In-kernel structures delete/creation and modification locking should be handled with a correct and efficient methodology. text/html 2009-09-25T08:37:44+00:00 http://l4dev.org/dev_linux?rev=1253867864&do=diff << Back to Developer Compiling and Running Native Linux for Arm Versatile Platform on Qemu Emulator. Let $pwd = /opt/arm-linux 1.) Download Native Linux Kernel Download latest Linux Kernel tarball(say linux-2.6.28.tar.gz) from <http://www.kernel.org/pub/linux/kernel/v2.6> and save it in pwd. Extract it, using: text/html 2009-09-25T08:08:08+00:00 http://l4dev.org/developer?rev=1253866088&do=diff Outstanding Issues Pages 1.) Codezero TODO list Information Pages 1.) Linux information page 2.) Build system information page text/html 2011-08-25T05:59:32+00:00 http://l4dev.org/documentation?rev=1314251972&do=diff Codezero documentation below includes information on getting started with development, tutorials, API reference, architecture descriptions and more. If you believe some information is missing or a concept is not described clearly enough, please notify us by direct email or ask on our mailing list. text/html 2011-09-20T06:38:55+00:00 http://l4dev.org/download?rev=1316500735&do=diff 1.) Toolkit Releases Codezero Embedded Hypervisor toolkit releases are provided below. These releases contain prebuilt versions of the up-to-date hypervisor sources, tools and documentation. The toolkit provides an ideal environment for userspace application development and porting of baremetal software. text/html 2011-02-16T20:04:14+00:00 http://l4dev.org/faq?rev=1297886654&do=diff " " " " " Codezero® Embedded Hypervisor v0.4 Release" " " " " " " " " " " Copyright © 2008 - 2010 B Labs Ltd." " " " " " 1.) What is Codezero? Codezero is an embedded hypervisor developed for the ARM architecture. It is written from scratch, based on the L4 microkernel design. It supports Linux kernel virtualization and multicore cpus. It also implements a strong security model that controls access to platform resources. text/html 2011-01-19T10:45:24+00:00 http://l4dev.org/getting_started?rev=1295433924&do=diff The hypervisor toolkit releases contain prebuilt versions of the hypervisor image, tools and documentation. The toolkit releases are specifically tailored for application development on top of Codezero. This is a quick getting started guide that explains how to download, install, build and develop on Codezero Embedded Hypervisor Toolkit releases. text/html 2010-09-03T23:25:17+00:00 http://l4dev.org/getting_started_quick?rev=1283556317&do=diff Here is a list of bare minimum details you need for building, running and also, understanding Codezero. This guide assumes you have SCons >= 1.0, Python 2.6, QEMU binary provided on the Getting Started page, CodeSourcery or similar arm-eabi cross compiler, and cross-gdb Insight installed on your machine. text/html 2010-09-07T12:51:44+00:00 http://l4dev.org/intranet_linux?rev=1283863904&do=diff test linux text/html 2010-05-02T21:22:56+00:00 http://l4dev.org/issues?rev=1272835376&do=diff Issues with kernel: 1.) Build system Build system should clean properly, rebuild properly - Any issues found in the build system must be looked at. 2.) Stale architectures PB A8 and PB 11mpcore should be removed 3.) Broken demos: We need: - Thread demo that creates 10 threads? text/html 2010-09-06T12:16:42+00:00 http://l4dev.org/linux?rev=1283775402&do=diff Booting Virtualized Linux on Versatile Express Hardware platform using RVD On a floating licensed machine, start the license server: % lmgrd -c files/licensefile.dat -l licensing.log Spot the license server port: % cat licensing.log 14:46:09 (lmgrd) lmgrd tcp-port 27001 Set up the license environment variable: text/html 2010-09-04T17:52:11+00:00 http://l4dev.org/linux_virtualization?rev=1283622731&do=diff 3. Linux Kernel Paravirtualization * Linux Virtualization * HyperSwitch Technology 3.1 Linux Virtualization Linux Kernel Virtualization process often includes 3.2 HyperSwitch text/html 2010-07-05T10:17:44+00:00 http://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 2012-01-11T16:44:13+00:00 http://l4dev.org/news?rev=1326300253&do=diff Ubuntu for ARM virtualized on a hypervisor for the first time Ubuntu (Linaro-11.12) on ARM is virtualized on a baremetal hypervisor for the first time. In the screenshot, a full blown Ubuntu instance is running on Codezero Embedded Hypervisor, Versatile Express Cortex-A9 platform. text/html 2010-12-23T13:00:59+00:00 http://l4dev.org/oldnews1?rev=1293109259&do=diff << Go to Latest News 25/03/2010 Codezero Microkernel Version 0.3 Released Codezero Microkernel v0.3 has been released. Please take a look at the download page for the project sources. Please see the Jumpstart guide for quick introduction to everything about Codezero. text/html 2009-06-03T21:02:33+00:00 http://l4dev.org/posix_services_technical_features?rev=1244062953&do=diff << Back to Codezero Overview Codezero project contains two userspace servers that provide a POSIX-like environment for applications that need operating system services. These services are built on top of the base Codezero API and they attempt to implement what would be equivalent to a microkernel-based POSIX operating system. Currently the services support a small but essential part of the POSIX API. text/html 2012-01-27T08:52:14+00:00 http://l4dev.org/start?rev=1327654334&do=diff Introduction Codezero is an embedded hypervisor for the ARM architecture. Codezero supports ARMv7 chipsets, virtualizes Android and Linux-based operating systems. Codezero is licensed under the GPLv3 and is also available under commercial licensing. text/html 2011-08-25T05:59:47+00:00 http://l4dev.org/support?rev=1314251987&do=diff Community Mailing List For technical discussions and more information about Codezero application development, please join our mailing list. Get Involved Open community is encouraged to get involved in Codezero application development. Codezero Hypervisor development toolkits are released publicly and they make it possible to develop commercial or open source software to be bundled with Codezero. We don't claim any rights on software you develop using these toolkits.