l4-hackers December 2009

l4-hackers@os.inf.tu-dresden.de

9 participants
7 discussions

[ANNOUNCE] NOVA Microhypervisor 0.1 prerelease
by Udo A. Steinberg 08 Mar '10

08 Mar '10

Hi, The NOVA project is happy to announce that there is a 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 Public License version 2. NOVA is based on a modern microhypervisor written in C++ and assembler. It currently supports x86-32 SMP platforms with hardware virtualization features, such as Intel VT-x or AMD-V, and facilitates running multiple unmodified guest operating systems … [View More]

6 9

Re: l4-hackers Digest, Vol 80, Issue 11
by fang zhengshu 30 Dec '09

30 Dec '09

2009/12/29 <l4-hackers-request(a)os.inf.tu-dresden.de> > Send l4-hackers mailing list submissions to > l4-hackers(a)os.inf.tu-dresden.de > > To subscribe or unsubscribe via the World Wide Web, visit > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > or, via email, send a message with subject or body 'help' to > l4-hackers-request(a)os.inf.tu-dresden.de > > You can reach the person managing the list at > l4-hackers-owner(a)… [View More]

1 0

Re: l4-hackers Digest, Vol 80, Issue 8
by fang zhengshu 28 Dec '09

28 Dec '09

2009/12/26 <l4-hackers-request(a)os.inf.tu-dresden.de> > Send l4-hackers mailing list submissions to > l4-hackers(a)os.inf.tu-dresden.de > > To subscribe or unsubscribe via the World Wide Web, visit > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > or, via email, send a message with subject or body 'help' to > l4-hackers-request(a)os.inf.tu-dresden.de > > You can reach the person managing the list at > l4-hackers-owner(a)… [View More]os.inf.tu-dresden.de > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of l4-hackers digest..." > > > Today's Topics: > > 1. Re: l4-hackers Digest, Vol 80, Issue 6 (Adam Lackorzynski) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 25 Dec 2009 17:24:48 +0100 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: Re: l4-hackers Digest, Vol 80, Issue 6 > Message-ID: <20091225162448.GA18264(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > > On Fri Dec 25, 2009 at 09:29:58 +0800, fang zhengshu wrote: > > I chage the command line "root=/dev/sda1" instead of "root=/dev/sda" > ,but > > there is still the error as the new attach! please look it. attach. > > > > > > > - the Linux booted only finds a VMware Virtual CDROM as hda, so there's > > > no sda device found, I'm not currently sure wheter VMware supports > > > SATA or not but you should make sure that VMware supplies a disk to > > > the guest, the Linux driver for that is compiled in and that the root= > > > option corresponds to that. > > > > > > > I'm sorry for not very clearly. If the VMware does not support the SATA, > how > > can it find the l4linux kernel and the other l4 modules??If you don't > agree , > > which must I select when configure the l4linux? > > Which type of disk did you configure in your VMware setup? > > scsi disk,and I try to create a ide disk ,then it can dectect the disk. so I think there is some problem with the vmware and the scsi. because I have enable the scsi disk. > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > End of l4-hackers Digest, Vol 80, Issue 8 > ***************************************** > -- fang, [View Less]

3 2

Re: l4-hackers Digest, Vol 80, Issue 6
by fang zhengshu 25 Dec '09

25 Dec '09

2009/12/24 <l4-hackers-request(a)os.inf.tu-dresden.de> > Send l4-hackers mailing list submissions to > l4-hackers(a)os.inf.tu-dresden.de > > To subscribe or unsubscribe via the World Wide Web, visit > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > or, via email, send a message with subject or body 'help' to > l4-hackers-request(a)os.inf.tu-dresden.de > > You can reach the person managing the list at > l4-hackers-owner(a)… [View More]os.inf.tu-dresden.de > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of l4-hackers digest..." > > > Today's Topics: > > 1. Re: append a correct "root=" boot option. Kernel panic, can > not find sda1 device (Adam Lackorzynski) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 24 Dec 2009 11:37:08 +0100 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: Re: append a correct "root=" boot option. Kernel panic, can > not find sda1 device > Message-ID: <20091224103708.GA23132(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > > On Thu Dec 24, 2009 at 17:04:11 +0800, fang zhengshu wrote: > > the attach of the last email is the movie of booting l4linux through > serial > > +hardisk > > and I put an attach which is the picture of the error. > > Two things: > - in the video it has 3 kernel command line parameters, one being > root=/dev/sda (without a '1'), check your config file > I chage the command line "root=/dev/sda1" instead of "root=/dev/sda" ,but there is still the error as the new attach! please look it. attach. > - the Linux booted only finds a VMware Virtual CDROM as hda, so there's > no sda device found, I'm not currently sure wheter VMware supports > SATA or not but you should make sure that VMware supplies a disk to > the guest, the Linux driver for that is compiled in and that the root= > option corresponds to that. > I'm sorry for not very clearly. If the VMware does not support the SATA, how can it find the l4linux kernel and the other l4 modules？If you don't agree , which must I select when configure the l4linux? thank you. > > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > End of l4-hackers Digest, Vol 80, Issue 6 > ***************************************** > -- fang, [View Less]

2 1

Re: append a correct "root=" boot option. Kernel panic, can not find sda1 device
by fang zhengshu 24 Dec '09

24 Dec '09

the attach of the last email is the movie of booting l4linux through serial +hardisk and I put an attach which is the picture of the error. any one can help me? thank you. 2009/12/24 fang zhengshu <fangzhsh07(a)gmail.com> > hi all, > I download the newest l4linux by using svn and use the x86-native_defconfig > to configure the l4linux > then modify some place: > process and the keyboard,vga > > then I can boot l4linux with the given drops-rd.rd through serial. … [View More]

2 2

Codezero Microkernel v0.2 Released
by Bahadir Balban 07 Dec '09

07 Dec '09

I would like to announce that Codezero Microkernel v0.2 is released. On this release, the microkernel is now fully capability checked, and we introduced the notion of containers to provide isolated execution environments. Please see below for a brief description. 1.) Containers In Codezero containers provide the architectural infrastructure for isolation of execution environments. Each container is allocated with a set of address spaces, threads, and any other resource that would … [View More]

1 0

Problem compiling Fiasco Kernel (kip.cc)
by olivier 02 Dec '09

02 Dec '09

Hello all I'm currently trying compil current Fiasco Kernel under Cygwin, unfortunatly I have a problem of compilation. when compiler try compil kip.cc I have an assembler message that said: Error: junk at the end of line, first unrecognized character is ',' Any Idea? Thanks Olivier PS: my kip.cc // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- #include "kip.h" #include "kip_i.h" #line 47 "/tudos/kernel/fiasco/src/abi/kip.cpp" //=========================================… [View More]=================================== #line 182 "/tudos/kernel/fiasco/src/abi/kip.cpp" //---------------------------------------------------------------------------- #line 188 "/tudos/kernel/fiasco/src/abi/kip.cpp" Kip *Kip::global_kip; #line 192 "/tudos/kernel/fiasco/src/abi/kip.cpp" asm(".section .initkip.version, \"a\", %progbits \n" \ ".string \"" CONFIG_KERNEL_VERSION_STRING "\" \n" \ ".previous \n"); #line 196 "/tudos/kernel/fiasco/src/abi/kip.cpp" asm(".section .initkip.features.fini, \"a\", %progbits \n" \ ".string \"\" \n" \ ".previous \n"); #line 110 "/tudos/kernel/fiasco/src/abi/kip.cpp" bool Kip::add_mem_region(Mem_desc const &md) { Mem_desc *m = mem_descs(); Mem_desc *end = m + num_mem_descs(); for (;m<end;++m) { if (m->type() == Mem_desc::Undefined) { *m = md; return true; } } // Add mem region failed -- must be a Fiasco startup problem. Bail out. assert (0); return false; } #line 130 "/tudos/kernel/fiasco/src/abi/kip.cpp" Mem_region Kip::last_free() const { Mem_desc const *m = mem_descs(); Mem_desc const *const end = m + num_mem_descs(); Mem_region r; r.start = 0; r.end = 0; for (;m<end;++m) { Address s = m->start(); Address e = m->end(); // Speep out stupid descriptors (that have the end before the start) if (s>=e) { const_cast<Mem_desc*>(m)->type(Mem_desc::Undefined); continue; } if (m->is_virtual()) // skip virtual memory descriptors continue; switch (m->type()) { case Mem_desc::Conventional: if (e>r.end) r.end = e; if (s>r.start) r.start = s; break; case Mem_desc::Reserved: case Mem_desc::Dedicated: case Mem_desc::Shared: case Mem_desc::Arch: case Mem_desc::Bootloader: if (e>=r.start && e<r.end) { r.start = e + 1; } if (s>=r.start && s<r.end) { r.end = s - 1; } break; default: break; } } return r; } [View Less]

2 7

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers December 2009