Re: Viengoos build documentation

At Wed, 8 Oct 2008 12:57:09 +0530,
Shakthi Kannan wrote:
> I have documented the Viengoos build process here:
> http://www.bddebian.com/~wiki/microkernel/building/
> 
> Please feel free to add/delete/update the same,

It looks good, thanks.

You note at the end it will boot to a kernel debugger prompt.  It
should run the ruth test suite.  If it is not doing this, it would be
nice to figure what is going wrong for you.

Neal

Re: Viengoos build documentation

Re: Viengoos build documentation

At Wed, 8 Oct 2008 19:55:39 +0530,
Vikram Vincent wrote:
> Would be really useful if like the debian-hurd qemu image a Viengoos image
> also prepared and uploaded somewhere...

Why do you think that is useful?  Viengoos is currently only
interesting for people developing Viengoos itself.

Neal

Re: Viengoos build documentation

Re: Viengoos build documentation

Hi,

--- At Wed, 8 Oct 2008 12:57:09 +0530, Shakthi Kannan wrote:
| I have documented the Viengoos build process here:
| http://www.bddebian.com/~wiki/microkernel/building/
\--

Thomas has moved it to:
http://www.bddebian.com/~wiki/microkernel/viengoos/building/

---
| It should run the ruth test suite.
\--

I will try with the latest cvs checkout code. My setup is atleast few
weeks old.

Is it possible for you to provide a brief roadmap for Viengoos? IIRC,
last time you were planning to use DDE for Linux driver emulation, or
related?

Thanks!

SK

--

-- 
Shakthi Kannan
http://www.shakthimaan.com

Re: Viengoos build documentation

Hi,

--- On Thu, Oct 9, 2008 at 1:39 AM, Shakthi Kannan <shakshurd <at> gmail.com> wrote:
| I will try with the latest cvs checkout code.
\--

It runs the ruth tests and finally get a kernel debugger prompt with:

    > kdb: unknown kdb op: a1 ip 473fd7

From the backlog of ruth test outputs:

=== OUTPUT ===

[snip]
ruth (ec002):storage_alloc:612: Folio at 15a00000/44 full
ruth (ec002):storage_check_reserve_internal: 422: Allocating
additional folio: free count: 64
ruth (ec002):main: 994: Verifying the content of the discardable pages
viengoos (c8001):is_clean:53: 7d000[262*8]==81b641800000000
viengoos (c8001):is_clean:53: 7d000[263*8]==81b642400000000
viengoos (c8001):is_clean:53: 7d000[264*8]==81b6bec081b6b88
viengoos (c8001):is_clean:53: 7d000[269*8]==80f707300000000
viengoos (c8001):is_clean:53: 7d000[283*8]==100000000
viengoos (c8001):is_clean:53: 7d000[284*8]==abcd330e00000000
viengoos (c8001):is_clean:53: 7d000[285*8]==5deece66d1234
viengoos (c8001):is_clean:53: 7d000[286*8]==b
viengoos (c8001):is_clean:53: 7d000[394*8]==81b6834
viengoos (c8001):is_clean:53: 7d000[511*8]==81b6c5000000000
viengoos (c8001):../..viengoos/pager.c:is_clean:59: clean failed: The
page 0x3be(at 7d000) is dirty!
Backtrace: 467b3d 46a369 402d56 409fc5 40a9ad 41430c 433f9f 402016 2000 0

=== END ===

Regards,

SK

--

-- 
Shakthi Kannan
http://www.shakthimaan.com

State of Viengoos?

Hi, 

What is the current state of Viengoos? 

Best wishes, 
Arne
--

-- 
-- My stuff: http://draketo.de - stories, songs, poems, programs and stuff :)
-- Infinite Hands: http://infinite-hands.draketo.de - singing a part of the 
history of free software.
-- Ein Würfel System: http://1w6.org - einfach saubere (Rollenspiel-) Regeln.

-- PGP/GnuPG: http://draketo.de/inhalt/ich/pubkey.txt

Viengoos resource management

Hi,

I would like some information on Viengoos resource management. Is
Viengoos written from scratch over L4 or any existing L4
implementations have been re-used?

There is L4/Fiasco (GPL) that has L4Env + DDEKit + DDELinux2.6 to run
device drivers in user-space.
http://wiki.tudos.org/DDE/DDEKit

Is there any other reason other than non-secure IPC in L4 that
prompted to write Viengoos?

Appreciate any inputs,

Thanks!

SK

--

-- 
Shakthi Kannan
http://www.shakthimaan.com

Re: Viengoos resource management

Hi,

On Wed, Oct 15, 2008 at 04:22:45PM +0530, Shakthi Kannan wrote:

> I would like some information on Viengoos resource management.

See Neal's diploma thesis,
http://plato.walfield.org/20080729-walfield-viengoos-thesis-final.pdf

> Is Viengoos written from scratch over L4 or any existing L4
> implementations have been re-used?

I don't understand the question. Viengoos currently (mis-)uses L4
(Pistachio) as a hardware abstraction, but doesn't use any of it's
interesting features (IPC, memory mapping etc.); instead, Viengoos does
all the interesting stuff itself -- it's really almost a complete
microkernel itself.

Using L4 as hardware abstraction is not ideal of course, but as Viengoos
is presently only a prototype used for research work, this is good
enough. If Viengoos is ever to be used more seriously, it would be
desirable to replace the L4 dependency by native code of course.

> Is there any other reason other than non-secure IPC in L4 that
> prompted to write Viengoos?

Well, note that Viengoos is mostly about resource management, which is
pretty much out of the scope of L4...

I think IPC/mapping had to be redone not only because of lack of
protected IPC in the original L4 (and other issues like problems with
the purely sync IPC) -- which are important for a system like the Hurd,
though really unrelated to the resource management -- but also because
the resource management needs some low-level support not present in the
L4 mechanisms.

-antrik-

Re: Viengoos resource management

Hi,

--- On Thu, Oct 16, 2008 at 3:39 AM,  <olafBuddenhagen <at> gmx.net> wrote:
| See Neal's diploma thesis,
| http://plato.walfield.org/20080729-walfield-viengoos-thesis-final.pdf
\--

Thanks for the link!

---
| If Viengoos is ever to be used more seriously, it would be
| desirable to replace the L4 dependency by native code of course.
\--

I would like to know what are the to-be completed components required
to use unmodified device drivers in user-space:
http://l4ka.org/projects/virtualization/drivers.php

Thanks,

SK

--

-- 
Shakthi Kannan
http://www.shakthimaan.com