OKL4 Community Forum

This forum is an archive for the mailing list developer@okl4.org (more options) Messages posted here will be sent to this mailing list.

Interact with the OKL4 Developers Community.

New Topic

People

1234 ... 26

Topics (903)

Replies

Last Post

Views

Using seL4 as a hypervisor to run multiple OS by sel4sam

by sel4sam

sel4? okl4 microvisor? by Tim Newsham

by Tim Newsham

poky patch update? by rickmurphy

by sel4sam

Building linux on okl4 for skyeye simulator (error) by sel4sam

by sel4sam

Having trouble with "make examples" by sel4sam

by Frank Kaiser

IPC System Call - Capability Check Question by RobertS

by Martin Christian

genextfs by Andreas Ostermann

by boyu

seL4 question by Tim Newsham

by Tim Newsham

seL4 Compiling error by Kapurnicus

by Kapurnicus

OKL4 1.4 + iguana: PANIC: Bootinfo did not initialise correctly by Tim Newsham

by Tim Newsham

sdk tutorial update? by rickmurphy

by rickmurphy

Multi cell problem. Kernel panic - not syncing: No init found. Try passing init= option to kernel. by DO.Kim

by DO.Kim

multi cell resource allocation by bubbah.T

by bubbah.T

crosstools install failure by bubbah.T

by bubbah.T

driver examples by bubbah.T

by bubbah.T

Issues in compiling Ok linux by Julien SIMONE

by Julien SIMONE

Problem in installation by ashraf El_antably

by Julien SIMONE

Try to run hello world with the ARM926ejs sdk by Julien SIMONE

by Julien SIMONE

[ERR] Developer Digest, Vol 52, Issue 1 by postmaster

by postmaster

Try to run hello world world with the ARM926ejs sdk by Julien SIMONE

by Julien SIMONE

help with thesis job by Federico

by Federico

OKL4 on mobile phones by Sam Kerr

by Sam Kerr

is search down? by bubbah.T

by Paul Chavent

Issue in building okLinux for qemu versatile board on Ubuntu 10.10 by souvik.datta

by Paul Chavent

Unscribe me by Jordan BOUYAT

by Jordan BOUYAT

Unsubcribe me by Palash Patil

by nagaraj

Compiling QEMU with Debian Squeeze Error by Federico

by Federico

Compiling QEMU with Debian Squeeze by Federico

by Federico

in sydney by Jorge Torres

by Jorge Torres

help me!!!!! by paride

by paride

OK:Android and by Magnus G. Andersson

by Magnus G. Andersson

after porting OKL4 3.0 to x86, when using qemu by kevis

by kevis

Latest Smartphones by Andy Pyles

by Andy Pyles

The difference between the Microkernel and the Microvisor by Magnus G. Andersson

by Carlos Eduardo Medag...

okl4_3.0 oklinux qemu run versatileab[some issues] by weller_huang

by weller_huang

1234 ... 26