rob fon | 18 Apr 2013 23:36
Picon

what happend?

why mailing list so dead? 
is there still hope?
why is there more developement on mach when other microkernels have proven better?

note: this is my first mailing list subscription yay!
Mohamad Rezaei | 11 Feb 2013 10:30
Picon

Check out my profile on LinkedIn

 
 
 
 
 
From Mohamad Rezaei
 
Developer at Isiran
Iran
 
 
 
 
 
 
 

I'd like to include you in my network to share updates and stay in touch.

- Mohamad

 
 
 
 
 
 
 
You are receiving Invitation to Connect emails. Unsubscribe
© 2012, LinkedIn Corporation. 2029 Stierlin Ct. Mountain View, CA 94043, USA
 
Jakub Jermar | 22 Nov 2011 23:29
Picon
Gravatar

FOSDEM 2012 - Multiserver, microkernel-based operating systems devroom

FOSDEM 2012 - Multiserver, microkernel-based operating systems devroom
*CALL FOR PARTICIPATION*
http://fosdem.org/2012

(apologies for cross-posting)

The developers of several free and open-source multiserver and/or
microkernel-based operating systems will meet at FOSDEM 2012 in
Brussels, Belgium and will share a developer room.

The devroom is currently looking for content in the form of talks
related to the area of multiserver and/or microkernel-based operating
systems. Possible topics include, but are not limited to:

  OS introduction to developers of other OS
  Subsystems and architecture
  Hardware and device drivers
  Tools and languages
  Release engineering and testing
  Experience and learning from mistakes
  Technical challenges
  Community and life with an OS-project
  Academia and education

Please send your talk proposal(s) to:

  microkernel-devroom <at> lists.fosdem.org

no later than by 2011-12-31.

Make sure to include the following in your proposal:
- title of your talk (will be printed in the FOSDEM booklet)
- your full name (will be printed in the FOSDEM booklet)
- your short bio giving us some idea of who you are and what is
  your relation to and qualification for the subject of your talk
- number of 15-minute slots that you need for the talk (talks longer
  than 45 minutes are discouraged)

The final devroom schedule (along with accepted talks) will be
announced on 2012-01-9 (Jan 9) in:

  microkernel-devroom <at> lists.fosdem.org

and the speakers will be notified via e-mail. The schedule will be
also published on the FOSDEM web and in the FOSDEM booklet after
2012-01-21.

If you do not want to or cannot give a talk yourself, you may still send
suggestions for what else you would like to see/hear/do in the devroom.
Please send your suggestions to the above mailing list.

The devroom is scheduled for Sunday of February 5, room K.3.201. The
seating capacity of the room is 85 seats. Any changes will be announced
in the above mailing list.

Jakub Jermar

Thomas Schwinge | 24 Oct 2011 19:01
Gravatar

FOSDEM 2012 -- devroom dedicated to [multiserver] microkernels, or generic alt-OS

Hi!

I was contacted by jermar on IRC, a developer of HelenOS, which is
another multiserver microkernel based OS, <http://www.helenos.org/>.

He and also some folks from the MINIX3 group were thinking whether to
propose a developer room for the upcoming FOSDEM 2012.  The idea is for
having a devroom dedicated to [multiserver] microkernels, or a generic
alt-OS room as a fallback.

The deadline for applications is in three days already.

Are we interested in this?  I said we generally are, but that I have no
idea how many of us will make it to FOSDEM next year.

Then, our group will need to find things to do in the devroom, provide a
portion of the content.  This can be (but is not limited to):
presentations, brainstorming, coding sessions.

Please answer quickly.  Are you interested in this?  Can you already
forsee whether you'll make it to FOSDEM next year, 4th/5th February 2012,
<http://fosdem.org/2012/>.

Grüße,
 Thomas
Udo A. Steinberg | 28 Jul 2011 20:04
Favicon

[ANNOUNCE] NOVA Microhypervisor 0.4 prerelease

Hi,

The NOVA project is happy to announce that there is a new prerelease of the
NOVA microhypervisor available for download at http://www.hypervisor.org/
under the terms of the GNU General Public License version 2.

NOVA is based on a modern microhypervisor written in C++ and assembler.
The current implementation runs on multi-core x86 machines that support ACPI,
under QEMU (including VM support), and as a microkernel in a virtual machine
on top of itself. 

NOVA makes use of hardware virtualization features such as Intel VT-x/VT-d
or AMD-V, and facilitates running unmodified guest operating systems in
virtual machines with near-native performance.

Among other things, the new prerelease improves the security of device- and
interrupt assignment by using capabilities for these operations. There is
also a new hypercall for interacting with the scheduler.

At the same time, we've released a new version of the NOVA Userland (NUL).
While there are few user-visible changes, a lot has changed under the hood.
We have integrated a central admission server that is going to implement
global policies for CPU time distribution in a future release. Another
notable development is rudimentary libvirt support, which will eventually
replace the old configuration syntax.

Cheers,

	- Udo
Naghizodeh,T.A-H | 7 Apr 2011 17:52
Picon

uint64_t OR l4_uint64_t

Today I got the source again from

(git.savannah.gnu.org/hurd/viengoos.git )

 then switch to  viengoos-on-bare-metal

 Got the cross-compiler and so.

 

 As i'd trying to fix some of my problems i saw

 at the file i named bellow some mistake might occurred.

 

        /libviengoos/t-addr.c

        line 67 >              l4_uint64_t used ,but doesn't declared!

                               even at <l4/type.h>

                               Does uint64_t mistyped as l4_uint64_t?

                              (uint64_t had declared at hurd/addr.h)

                              

-Naghizodeh

Andrew Engelbrecht | 7 Apr 2011 00:43
Picon
Gravatar

booting viengoos with GRUB2 v. 1.99~rc1

Has anyone gotten viengoos to boot using GRUB2 v. 1.99~rc1? I get the
following errors in qemu when try to boot Viengoos:

error: invalid offset in section header.
error: you need to load the multiboot kernel first

Looking at the date of the patch recommended for GRUB at
http://www.gnu.org/software/hurd/microkernel/viengoos/building.html ,
I figured that v. 1.97 would be the closest tried and tested version
of GRUB and therefore might work with viengoos. Unfortunately, v1.97,
v1.97.1, v1.97.2 and v1.98 don't cross-compile on my PPC computer.
Here are the errors I get when compiling v1.97:

gcc -Iutil/i386/pc -I../util/i386/pc -I. -I./include -I../include
-Wall -W -DGRUB_LIBDIR=\"/home/sudoman/src/gnuhurd/failedgrub/7/build/../install/lib/`echo
grub/i386-pc | sed 's&^&i386-pc-linux-gnu-&'`\" -g -O2 -DGRUB_UTIL=1
-MD -c -o grub_setup-util_i386_pc_grub_setup.o
../util/i386/pc/grub-setup.c
../util/i386/pc/grub-setup.c:38: error: initializer element is not constant
../util/i386/pc/grub-setup.c:38: error: (near initialization for
‘grub_gpt_partition_type_bios_boot.data1’)
../util/i386/pc/grub-setup.c:38: error: braced-group within expression
allowed only inside a function
../util/i386/pc/grub-setup.c:38: error: braced-group within expression
allowed only inside a function
../util/i386/pc/grub-setup.c:38: warning: missing initializer
../util/i386/pc/grub-setup.c:38: warning: (near initialization for
‘grub_gpt_partition_type_bios_boot.data1’)
make: *** [grub_setup-util_i386_pc_grub_setup.o] Error 1

It looks like I'm not the only one running into similar problems on a
PPC machine:

http://www.mail-archive.com/grub-devel <at> gnu.org/msg16467.html

I figure going back to 1.96 or older would be going back too far.
Compatibility with PPC is bound to be worse in the past, as they have
been adding support for booting PPC over time. So building the tools
on PPC will probably be fruitless as well, which is where the above
failures have been occurring. I also tried using the sources for
v1.98, provided by Debian with patches and all, but I still ran into
the same error. I know the cross-compiler's not at fault, since it's
the regular gcc that's being used above.

Another thing is that when I start qemu, I get an "error: file not
found" error after a "Welcome to GRUB" message, but before the GRUB
menu. Since the "Viengoos" option loads, I am assuming that my config
file was loaded. In the off chance that my grub.cfg is the problem,
i've attached it. Also, I 've attached the diff file that I used to
get v1.99~rc1 to load the config file with the following command:

bin/i386-pc-linux-gnu-grub-mkrescue -o boot.img
--configpart='(hd0,msdos1)' --modules='*.mod'

I guess that was mostly a rant, but if anyone has any tips, tries
booting viengoos using version 1.99~rc1 of GRUB2 themselves, or sends
a patched build of v1.97 my way, that would greatly be appreciated.
;-)

-Andrew
Attachment (grub.cfg): application/octet-stream, 139 bytes
Attachment (config_partition.diff): text/x-patch, 1658 bytes
Naghizodeh,T.A-H | 6 Apr 2011 19:54
Picon

Error - Building Time

Hi,there

as i following building instruction, faced some problems:

 

 

$ autoreconf -i

$ mkdir test build

$ cd test/

$ ../configure --enable-l4 --host=i686-pc-viengoos-gnu \

        --enable-tests

 

 

   //  this configuration successfully finished with two warning

  //   warning  -  Unrecognized Options  :   --enable-tests

 

$make check

 

  //  first the compilations process got terminated ,

  //  compile process stopped since it couldn't find one header file

  //  at  ../../libviengoos/viengoos

  //  i temporary fix this problem but there are still some problems

 

  //  the  i found that in directory="test/libviengoos"

  //  at Makefiles , there has been used  variable $(INCLUDES) but never

  //  assigned value .

 

$cat <dir>/test/libviengoos/Makefile | egrep '^INCLUDES'

   //      but no result founded

 

   //after i called '$make check' the process show this messages on

   // screen

 

   

 

make[2] : Leaving direcotry '<DIR>/test/libviengoos'

make check-TESTS

make[2] : Entering directory '<DIR>/test/libviengoos'

Checking VG_ADDR.. ok.

t-addr: ../../libviengoos/t-addr.c:52: main: Assertion '(P_ & (( 1 <<

(63 - d_)) - 1)) == 0' faild.

checking vg_addr_extend.. /bin/sh: line 5: 3406            (core

dumped) ${dir}$tst

FAIL: t-addr

Checking VG_CAP_ADDR_TRANS_SET_GUARD_SUBPAGE... ok

PASS: t-addr-trans

Checking RPC... ok

PASS: t-rpc

================================

1 of 3 tests failed

Please report to l4-hurd <at> gnu.org

================================

 

   //As i saw the <dir>/test/libviengoos/Makefile ,

   //At Line 470 :

                  if $(TESTS_ENVIRONMENT) $${dir}$$tst; then \

                   

   // I searched for TEST_ENVIRONMENT , but it didn't assigned value before.

 

 

 

i didn't know what goes wrong ,

I'm using fedora Linux and standard i686

stabled programs.

 

give me some tips,

 

 

thanks,

Naghizodeh ,T.A-H

----------------

NTL.IR

Naghizodeh T.,A-H | 5 Apr 2011 18:51
Picon

Some Mistakes at StarUp

Hi there,
I used qemu and Grub Legacy (floppy disk image) for running kernel with
it's modules 
I follow mostly from the instruction on README
when i try to boot on grub i saw this , it's seem the kernel going to
starting , but ,it doesn't .
system stop by give me this log file on the screen (i'd typed them) 

laden (ff0720ff):kip_fixup:54: Booting an x2 Kernel.
laden (ff0720ff):kip_fixup:70: Sigma0: Low 0x20000, Hight 0x29524, IP
0x20000, SP 0x0
laden (ff0720ff):kip_fixup:75: Root: Low 0x400000, Hight 0x4d40cc, IP
0x400000, SP 0x0
laden (ff0720ff):kip_fixup:93: Memory Map 1: Type shared(4)/0, Low 0x0,
Hight 0xfffffffffffffc00
laden (ff0720ff):kip_fixup:93: Memory Map 2: Type conventional(1)/0, Low
0x0, High 0x9f000
laden (ff0720ff):kip_fixup:93: Memory Map 3: Type arch(15)/2, Low
0x9f400, High 0x9fc00
laden (ff0720ff):kip_fixup:93: Memory Map 4: Type arch(15)/2, Low
0xf0000, High 0xffc00
laden (ff0720ff):kip_fixup:93: Memory Map 5: Type conventional(1)/0, Low
0x100000, High 0x7ffcc00
laden (ff0720ff):kip_fixup:93: Memory Map 6: Type arch(15)/2, Low
0x7ffd000, High 0x7fffc00
laden (ff0720ff):kip_fixup:93: Memory Map 7: Type arch(15)/2, Low
0xfffffffffffc0000, High 0xfffffffffffffc00
laden (ff0720ff):kip_fixup:93: Memory Map 8: Type shared(4)/0, Low
0xa0000, High 0xefc00
laden (ff0720ff):kip_fixup:93: Memroy Map 9: Type reserved(2)/0, Low
0x800000, High 0x23ffc00
laden (ff0720ff):main:205:Entering kernel at address 0x15a050...

i'm new to your OS, and not read sources till now.
help me figure this out , give me some tips .

thanks,
Naghizodeh ,T.A-H

----------------------------------------------------------------------------
NTL (Null Thought List) Group  -www.ntl.ir

Udo A. Steinberg | 16 Feb 2011 22:55
Favicon

[ANNOUNCE] NOVA Microhypervisor 0.3 prerelease

Hi,

The NOVA project is happy to announce that there is a new prerelease of the
NOVA microhypervisor available for download at http://www.hypervisor.org/
or http://os.inf.tu-dresden.de/~us15/nova/ under the terms of the
GNU General Public License version 2.

NOVA is based on a modern microhypervisor written in C++ and assembler.
The current implementation runs on multi-core x86 machines that support ACPI,
under QEMU (including VM support), and as a microkernel in a virtual machine
on top of itself. 

NOVA makes use of hardware virtualization features such as Intel VT-x/VT-d
or AMD-V, and facilitates running unmodified guest operating systems in
virtual machines with near-native performance.

The new release brings virtual-machine support to QEMU and older AMD CPUs,
both of which lack nested paging. Furthermore, the microhypervisor can now
translate related capabilities during message passing.

Cheers,

	- Udo
Dok Sander | 4 Dec 2010 04:54
Picon
Favicon

Viengoos still active?

Hi,

 I'd like to know the status of the Viengoos project. Is it still active? Looking at git:

last change	Mon, 19 Jan 2009 22:34:13 +0000

The last change was made almost a year.

The question is: Is there still a project for a new GNU microkernel aside GNU Mach? Is Viengoos it or are there
new projects blooming?

Thank You


Gmane