Groups
Groups
Sign in
Groups
Groups
OKL4 Community
Conversations
About
Send feedback
Help
OKL4 Community
1–30 of 596
Mark all as read
Report group
0 selected
Rohit Sharma
3/31/17
IBM CMOD Architect / IBM CMOD Tech Lead /IBM CMOD Administrator---CA
Hi Hope you are doing great today ! Position : IBM CMOD Architect Location : San Diego, CA Experience
unread,
IBM CMOD Architect / IBM CMOD Tech Lead /IBM CMOD Administrator---CA
Hi Hope you are doing great today ! Position : IBM CMOD Architect Location : San Diego, CA Experience
3/31/17
Shalini Kp
1/20/15
Reg OKL4 for freescale IMX6
Hi, I need to port both linux and android to run simultaneously on Freescale IMX6 board. How can I
unread,
Reg OKL4 for freescale IMX6
Hi, I need to port both linux and android to run simultaneously on Freescale IMX6 board. How can I
1/20/15
bubbah.T
,
Kun Cheng
2
7/7/14
[okl4-developer] multi cell resource allocation
Well bubbah.T you must be my savior! Could you let me know how you make three cells working? I'm
unread,
[okl4-developer] multi cell resource allocation
Well bubbah.T you must be my savior! Could you let me know how you make three cells working? I'm
7/7/14
Raghu Ravi
1/16/14
OKL4 on MIPS cores
Hi all, Where can I download the release for OKL4 microvisor, as the wiki page (http://wiki.ok-labs.
unread,
OKL4 on MIPS cores
Hi all, Where can I download the release for OKL4 microvisor, as the wiki page (http://wiki.ok-labs.
1/16/14
raghun6
,
Daniel Potts
3
1/3/14
[okl4-developer] What is microvisor image size
Dear Daniel, Its a tri core MIPS based SoC, Heterogeneous Operating Systems (App OS, RTOS & small
unread,
[okl4-developer] What is microvisor image size
Dear Daniel, Its a tri core MIPS based SoC, Heterogeneous Operating Systems (App OS, RTOS & small
1/3/14
Jim Howard
, …
Norman Feske
14
12/2/13
[okl4-developer] open source OKL4
Daniel Potts wrote: > I'm not sure what the point of this thread is, other than to troll OKL.
unread,
[okl4-developer] open source OKL4
Daniel Potts wrote: > I'm not sure what the point of this thread is, other than to troll OKL.
12/2/13
cheng...@gmail.com
,
Carl Van Schaik
3
11/27/13
[okl4-developer] Memory ballooning
Thanks, Carl. And one more question: OKL4 doesn't support hardware-assisted virtualization, right
unread,
[okl4-developer] Memory ballooning
Thanks, Carl. And one more question: OKL4 doesn't support hardware-assisted virtualization, right
11/27/13
Srujan Kotikela
9/25/13
Re: [okl4-developer] Developer Digest, Vol 72, Issue 4
Hi Anshul, Bothe Xen and OKL4 are hypervisors (Virtual Machine Monitors). OKL4 is marketed as
unread,
Re: [okl4-developer] Developer Digest, Vol 72, Issue 4
Hi Anshul, Bothe Xen and OKL4 are hypervisors (Virtual Machine Monitors). OKL4 is marketed as
9/25/13
anshul makkar
, …
Tim Newsham
8
9/26/13
[okl4-developer] OKL4 + security by isolation
Interesting point.. Thanks Tim for sharing. Will keep this in mind, while designing the architecture.
unread,
[okl4-developer] OKL4 + security by isolation
Interesting point.. Thanks Tim for sharing. Will keep this in mind, while designing the architecture.
9/26/13
Kun Cheng
9/22/13
Anybody know the key differences between okl4 3.0 and 4.0?
I saw a registration on their wiki, but I wonder what's the key differences between them? New
unread,
Anybody know the key differences between okl4 3.0 and 4.0?
I saw a registration on their wiki, but I wonder what's the key differences between them? New
9/22/13
Kim CheonGyu
2
9/3/13
[okl4-developer] compile error : scons: *** [build/base/ramdisk] Error -11
I have resolved this issue. This issue was related to __GNU__ define. and I added some code to fix
unread,
[okl4-developer] compile error : scons: *** [build/base/ramdisk] Error -11
I have resolved this issue. This issue was related to __GNU__ define. and I added some code to fix
9/3/13
faisaldj
,
Gabi Voiculescu
2
7/26/13
[okl4-developer] OKL4 on iMX6 which SDK should I use?
Hi. If your question still stands you should get the sources, not a SDK targeted towards a given
unread,
[okl4-developer] OKL4 on iMX6 which SDK should I use?
Hi. If your question still stands you should get the sources, not a SDK targeted towards a given
7/26/13
faisaldj
6/6/13
[okl4-developer] OKL4 on iMX6
Hi, I am a student and I am trying to port OKL4 on my sabre lite board which is based on iMX6 quad
unread,
[okl4-developer] OKL4 on iMX6
Hi, I am a student and I am trying to port OKL4 on my sabre lite board which is based on iMX6 quad
6/6/13
Esla Anzaku
5/1/13
[okl4-developer] Got unexpected IPC from 0x80000001
After doing some modifications to oklinux, I encounter this kind of error Got unexpected IPC from
unread,
[okl4-developer] Got unexpected IPC from 0x80000001
After doing some modifications to oklinux, I encounter this kind of error Got unexpected IPC from
5/1/13
Paul Chavent
,
Julia
2
4/14/13
[okl4-developer] Hello world tutorial : an other way to do it.
Hi, I am tring do some research on OKL4( develop some applications on OKL4).I had made the OKL4 hello
unread,
[okl4-developer] Hello world tutorial : an other way to do it.
Hi, I am tring do some research on OKL4( develop some applications on OKL4).I had made the OKL4 hello
4/14/13
DebashisBhattacharya
, …
Carl Van Schaik
5
4/8/13
[okl4-developer] When will OKL4.0 be available for eval?
I've sent Carl all info he requested. Hope we make some progress, now. I've tried contacting
unread,
[okl4-developer] When will OKL4.0 be available for eval?
I've sent Carl all info he requested. Hope we make some progress, now. I've tried contacting
4/8/13
DebashisBhattacharya
, …
Daniel Potts
6
4/4/13
[okl4-developer] Cannot download oklinux_2.6.24.9-patch.4.tar.gz
Thanks for the mail. I just left the download on – even though the bar showing progress stopped
unread,
[okl4-developer] Cannot download oklinux_2.6.24.9-patch.4.tar.gz
Thanks for the mail. I just left the download on – even though the bar showing progress stopped
4/4/13
Shakti Kumar
4/4/13
[okl4-developer] VxWork tool chain for linux
Hi, Is anyone can help me how to create a toolchain for vxwork from where to download the package for
unread,
[okl4-developer] VxWork tool chain for linux
Hi, Is anyone can help me how to create a toolchain for vxwork from where to download the package for
4/4/13
DebashisBhattacharya
4/2/13
[okl4-developer] Incorrect error message when I make a post
I keep getting a message when I try to post "This message has not been accepted by the mailing
unread,
[okl4-developer] Incorrect error message when I make a post
I keep getting a message when I try to post "This message has not been accepted by the mailing
4/2/13
DebashisBhattacharya
4/2/13
[okl4-developer] Download problems, including oklinux_2.6.24.9-patch.4.tar.gz
The download is supposed to be 88.4MB. It proceeds to about 44.1MB and stalls (indefinitely). Does
unread,
[okl4-developer] Download problems, including oklinux_2.6.24.9-patch.4.tar.gz
The download is supposed to be 88.4MB. It proceeds to about 44.1MB and stalls (indefinitely). Does
4/2/13
Rekha SR
2
2/21/13
[okl4-developer] How to run OKL4 in OMAP4430
hello friends, Do any know how to run OKL4 in OMAP4430? Please help me...! Thanks & Regards,
unread,
[okl4-developer] How to run OKL4 in OMAP4430
hello friends, Do any know how to run OKL4 in OMAP4430? Please help me...! Thanks & Regards,
2/21/13
Rekha SR
2/19/13
How to run OKL4 in OMAP4430?
Hello, I have already installed OKL4 in my desktop Ubuntu 12.04 and got a image files as output. Now
unread,
How to run OKL4 in OMAP4430?
Hello, I have already installed OKL4 in my desktop Ubuntu 12.04 and got a image files as output. Now
2/19/13
Kevin C. Kurtz
1/17/13
[okl4-developer] Sel4 output.
Ive been playing with sel4 for my thesis. I get output from virtual machines, but none on real
unread,
[okl4-developer] Sel4 output.
Ive been playing with sel4 for my thesis. I get output from virtual machines, but none on real
1/17/13
Rekha
1/10/13
[okl4-developer] How to run SDK Singlecell/Hello world?
Hello, I am trying to run /sdk/okl4/xscale/examples/singlecell/hello world program. Using arm-2009q3
unread,
[okl4-developer] How to run SDK Singlecell/Hello world?
Hello, I am trying to run /sdk/okl4/xscale/examples/singlecell/hello world program. Using arm-2009q3
1/10/13
ameya dandekar
,
Daniel Potts
4
1/3/13
[okl4-developer] Regarding microvisor support for android platform
Thanks Daniel. - Ameya On Thu, Jan 3, 2013 at 2:19 PM, Daniel Potts <dan...@ok-labs.com> wrote
unread,
[okl4-developer] Regarding microvisor support for android platform
Thanks Daniel. - Ameya On Thu, Jan 3, 2013 at 2:19 PM, Daniel Potts <dan...@ok-labs.com> wrote
1/3/13
Federico
, …
Rekha SR
6
12/28/12
[okl4-developer] Error Compiling SDK ARM926
Dear All, I checked my computer and i have cross compiler and set its PATH also. Please find the
unread,
[okl4-developer] Error Compiling SDK ARM926
Dear All, I checked my computer and i have cross compiler and set its PATH also. Please find the
12/28/12
HazelDelaCruz
12/11/12
[okl4-developer] OKL4 Microvisor location
Good day! I would like to ask if the OKL4 Microvisor is different from the OKL4 Microkernel 3.0? I am
unread,
[okl4-developer] OKL4 Microvisor location
Good day! I would like to ask if the OKL4 Microvisor is different from the OKL4 Microkernel 3.0? I am
12/11/12
Esla Anzaku
,
Daniel Potts
2
11/5/12
[okl4-developer] Is anyone aware of Oklinux port for linux kernvel version 3.0 and above?
Hi Timothy, 2 months should be no problem for an experienced Linux ARM kernel porter / developer. We
unread,
[okl4-developer] Is anyone aware of Oklinux port for linux kernvel version 3.0 and above?
Hi Timothy, 2 months should be no problem for an experienced Linux ARM kernel porter / developer. We
11/5/12
Amit Mahadik
,
lifan gu
2
10/21/12
[okl4-developer] Account Hacked. Sorry for Spam mail.
Dear Sir or Madam, I do not work on releted areas anymore. Please unsubscribe me from the list.
unread,
[okl4-developer] Account Hacked. Sorry for Spam mail.
Dear Sir or Madam, I do not work on releted areas anymore. Please unsubscribe me from the list.
10/21/12
Kotikela, Srujan
10/5/12
[okl4-developer] Regarding Native OKL4 Browser
Hi All, I am PhD student with University of North Texas. My research interest is secure mobile
unread,
[okl4-developer] Regarding Native OKL4 Browser
Hi All, I am PhD student with University of North Texas. My research interest is secure mobile
10/5/12