OKL4 Community

Hi Hope you are doing great today ! Position : IBM CMOD Architect Location : San Diego, CA Experience

Hi, I need to port both linux and android to run simultaneously on Freescale IMX6 board. How can I

Well bubbah.T you must be my savior! Could you let me know how you make three cells working? I'm

Hi all, Where can I download the release for OKL4 microvisor, as the wiki page (http://wiki.ok-labs.

Dear Daniel, Its a tri core MIPS based SoC, Heterogeneous Operating Systems (App OS, RTOS & small

Daniel Potts wrote: > I'm not sure what the point of this thread is, other than to troll OKL.

Thanks, Carl. And one more question: OKL4 doesn't support hardware-assisted virtualization, right

Hi Anshul, Bothe Xen and OKL4 are hypervisors (Virtual Machine Monitors). OKL4 is marketed as

Interesting point.. Thanks Tim for sharing. Will keep this in mind, while designing the architecture.

I saw a registration on their wiki, but I wonder what's the key differences between them? New

I have resolved this issue. This issue was related to __GNU__ define. and I added some code to fix

Hi. If your question still stands you should get the sources, not a SDK targeted towards a given

Hi, I am a student and I am trying to port OKL4 on my sabre lite board which is based on iMX6 quad

After doing some modifications to oklinux, I encounter this kind of error Got unexpected IPC from

Hi, I am tring do some research on OKL4( develop some applications on OKL4).I had made the OKL4 hello

I've sent Carl all info he requested. Hope we make some progress, now. I've tried contacting

Thanks for the mail. I just left the download on – even though the bar showing progress stopped

Hi, Is anyone can help me how to create a toolchain for vxwork from where to download the package for

I keep getting a message when I try to post "This message has not been accepted by the mailing

The download is supposed to be 88.4MB. It proceeds to about 44.1MB and stalls (indefinitely). Does

hello friends, Do any know how to run OKL4 in OMAP4430? Please help me...! Thanks & Regards,

Hello, I have already installed OKL4 in my desktop Ubuntu 12.04 and got a image files as output. Now

Ive been playing with sel4 for my thesis. I get output from virtual machines, but none on real

Hello, I am trying to run /sdk/okl4/xscale/examples/singlecell/hello world program. Using arm-2009q3

Thanks Daniel. - Ameya On Thu, Jan 3, 2013 at 2:19 PM, Daniel Potts <dan...@ok-labs.com> wrote

Dear All, I checked my computer and i have cross compiler and set its PATH also. Please find the

Good day! I would like to ask if the OKL4 Microvisor is different from the OKL4 Microkernel 3.0? I am

Hi Timothy, 2 months should be no problem for an experienced Linux ARM kernel porter / developer. We

Dear Sir or Madam, I do not work on releted areas anymore. Please unsubscribe me from the list.

Hi All, I am PhD student with University of North Texas. My research interest is secure mobile