Microkernel like L4 live-CD?

Discussions on more advanced topics such as monolithic vs micro-kernels, transactional memory models, and paging vs segmentation should go here. Use this forum to expand and improve the wiki!
Post Reply
DrakOS
Posts: 1
Joined: Wed Apr 09, 2008 8:06 pm

Microkernel like L4 live-CD?

Post by DrakOS »

Hi I use the OKL4 microkernel which is a open development of the L4 microkernel,
And I use it for virtualization to run Redhat and ReactOS to run Windows applications.

My question is if it would be possible to develop this to run as a live-CD?

I have found several microkernel that run on VMWare or live-CD,
But no L4 or any that will run visualization.

I prefer to use live-CD because I am always testing new systems so I need the potability.

I have tried other OS kernels such as UNIX, Linux and even some other developments that claim to be minimalist OS's,
But I fined that a microkernel runs faster exlooding NT ofcorce if you can call that micro anything no matter what the kernel is based on.

Pleas help...
System tester under kernel traps. :cry:
Top
User avatar
binutils
Member
Member
Posts: 214
Joined: Thu Apr 05, 2007 6:07 am

Post by binutils »

no livecd, you have to make your own, BTW, at least this run linux as application, HTH

http://www.ertos.nicta.com.au/software/ ... ct/latest/

user-mode linux or kernel-mode linux is another way to go.

--
ps: http://os.inf.tu-dresden.de/L4/LinuxOnL4/demo.shtml
Top
Post Reply

Return to “OS Design & Theory”