similar to: Some comments on multiple threads in Mini-OS

Hello, as some might have read in my previous postings, I have a Mini-OS dom0 that constructs a Mini-OS domU on x86 xen-3.0.4-testing. As the memory layout my Dom0 builds does not guarantee, that pages the DomU Mini-OS tries to use as page tables are mapped to existing memory, I changed new_pt_frame in arch/x86/mm.c in the following way: The pt_pfn is mapped R/W, then it is zeroed by a

To allow for more flexibility, this notifies domain shutdown through a function rather than a wake queue, to let the application use a wake queue only if it wishes. Signed-off-by: Samuel Thibault <samuel.thibaut@ens-lyon.org> diff -r 090cc3e20d3e extras/mini-os/include/kernel.h --- a/extras/mini-os/include/kernel.h Wed Dec 19 16:04:50 2012 +0000 +++ b/extras/mini-os/include/kernel.h Fri

Signed-off-by: Chen Baozi <baozich@gmail.com> --- extras/mini-os/include/spinlock.h | 2 +- extras/mini-os/include/x86/arch_spinlock.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extras/mini-os/include/spinlock.h b/extras/mini-os/include/spinlock.h index 70cf20f..6604e3c 100644 --- a/extras/mini-os/include/spinlock.h +++

Add a semaphore to protect gnttab_list from exhaustion, and disable callbacks during allocation/free. Fix the network frontend accordingly. Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com> diff -r bb961bda7eff extras/mini-os/gnttab.c --- a/extras/mini-os/gnttab.c Sun Nov 25 21:24:48 2007 +0000 +++ b/extras/mini-os/gnttab.c Mon Nov 26 11:50:31 2007 +0000 @@ -18,6 +18,7 @@

I am seeing a strange issue while running Mini-OS on the changeset 9906:a95e677073c1. This is on both i386 and x86_64. The only difference being on i386 if I stop printing to the console, this issue is not manifested. But with x86_64 it happens all the time. Bringing up Mini-OS for the first time causes xm to hang on certain commands like "list, destroy". Other commands like

Hey guys, having some trouble getting Mini-OS to start up. I have xen 3.1 installed and am running dom0 fine. I make the Mini-OS directory and then do the following: root@localhost mini-os]# xm create domain_config -c Using config file "./domain_config". Error: Kernel image does not exist: /home/mcleanap/l4/project/xen-3.0.4_1-src/extras/mini-os/mini-os.elf The file does exist, and

Hi, I want to port the mini-os to the ia64 architecture. Therefore I think a restructure of the code is needed to have architecture specific sub-directories under extras/mini-os, perhaps: mini-os/ x86 ia64 .... mini-os/include/ x86 ia64 ... Has anybody thought of such differentiation? Is there a maintainer of mini-os - I saw lots of patchs from Grzegorz Milos? What do you think?

The following are a set of patches to run the berlios tpm emulator 0.6.1 in a mini-os domain, called vtpm-stubdom. Documentation on how to use this domain is located at stubdom/vtpm/README. The following are a series of patches that enable this domain and also add significant stability improvements to the entire vTPM subsystem, including the original method of using vtpmd as a process.

Ian, Thank you for your detailed report. > As a user space application, Qemu can''t run in the stub domain > directly, but requires an operating system kernel. The neatest way of > doing this would be to link qemu against `minios'', which is > effectively a library operating system for just this purpose. Since > minios makes use of a broad range of libc calls, it

Add init_SEMAPHORE() to dynamically initialize semaphores. Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com> diff -r f2711b7eae95 -r 36bf1e737b87 extras/mini-os/include/semaphore.h --- a/extras/mini-os/include/semaphore.h Thu Nov 22 19:55:42 2007 +0000 +++ b/extras/mini-os/include/semaphore.h Fri Nov 23 13:21:02 2007 +0000 @@ -41,11 +41,13 @@ #define DECLARE_MUTEX_LOCKED(name)

add xenbus token support and separate watch event queues Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com> # HG changeset patch # User Samuel Thibault <samuel.thibault@eu.citrix.com> # Date 1200582503 0 # Node ID 112c1180720c87a0bfa99142399e3ef3f79f1711 # Parent 33d1c7f9217a1c915afe01fe822811ce69b3a90f add xenbus token support and separate watch event queues diff -r

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head><meta http-equiv="content-type" content="text/html; charset=utf-8" /><style type="text/css"><!-- #msg dl { border: 1px #006 solid; background: #369; padding:

Hello all, I have successfully installed xen 3.0.2 on a dual celeron system. Linux in dom0 works fine. Now, I would like to play with the mini-os (my ultimate goal is to implement a small RTOS as guest in Xen, so mini-os looks like an ideal starting point). However, I can''t seem to get it to run as (I think) it should: It boots up, but as far as I understand the source code and the

2 questions on the code of mini-os (the one in XEN 3.0.3): 1. In xen-3.0.3/extras/mini-os/mm.c:52 is a declaration of stack extern char *stack; but in file xen-3.0.3/extras/mini-os/arch/x86/setup.c:48, there is also a decl of stack: char stack[8192]; If one dereferences the variable stack, which is apparently not the case yet, it gives surely a segfault! 2. In file

I am getting the following error when I try to bring up Mini-OS on x86_64 Xen (unstable: 9994). It is dying in xc_linux_build() causing xend to fault and restart. Any clue why this happening? Has something changed in the builder that Mini-OS needs to be aware of? PS: I tried reverting changeset 9993 (Allow linking of mini-os with application-specific object code), but still got the same error

I sent this patch directly to Gregor, and neglected to CC this list. Sorry about that. I''d like to make it so that there is no need to modify any Mini-OS source files when extending it with an application. All that is required is a change to Makefile, and a small change to kernel.c, printf.c, and string.c. I have enclosed the patch. With this patch, one could write an application in a

Please patch Mini-OS so that it uses stddef.h to define size_t and NULL. This problem fixes errors that occur when linking Mini-OS with ANSI standard code that uses stddef.h. John diff -ur oxen-3.0-testing/extras/mini-os/include/lib.h nxen-3.0-testing/extras/mini-os/include/lib.h --- oxen-3.0-testing/extras/mini-os/include/lib.h 2006-04-14 22:21:55.000000000 -0400 +++

Hi I have a doubt regarding Mini-OS and Xen. If it is true that Xen reserves in the virtual address space the top 64MB on 32bit systems and 168MB in PAE systems, doesn''t it exist with a Mini-OS kernel which has only 32MB in size i.e. going by its default config file? Obviously I''m missing something. Regards, Bhaskar. _______________________________________________ Xen-devel

Is there any support for x86_64 pthreads for mini-OS ? Does the current newlib contains a functional implementation of pthreads ? -- Karim Allah Ahmed. LinkedIn <http://eg.linkedin.com/pub/karim-allah-ahmed/13/829/550/> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel

hi, has anyone attempted to add grant tables, blockfront or netfront support to mini-os recently? Jacob _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel