users

users@lists.genode.org

2285 discussions

livecd + full OS
by syd bris 03 Sep '12

03 Sep '12

hi, my interest in genode would be to be able to use it on top of a linux system to run other OS's securely in a virtualised environment. some questions when will the next live cd be available? will genode be able to perform any better, or provide any better security, than other virtualisation softwares like vmware and xen? How do you plan to eventually release a "fully functional general-purpose OS" when the genode code is so small, and it is mainly a userland project? thanks

2 1

Qt port based on QPA
by Robert Campbell 03 Sep '12

03 Sep '12

Qt platform abstraction layer provides a simpler and easier to maintain method of porting Qt to other platforms. Are there plans to upgrade the current Qt port in Genode to make use of the Qt platform abstraction layer?

2 3

genode 12.08 advantages over fiasco
by jotish jotish 31 Aug '12

31 Aug '12

Hi all, Can any one tell me the advantages of genode 12.08 over fiasco microkernel. Specifically in terms of secure OS point of view which one is better. Thanks in advance, JO

3 2

Porting base-hw to i.mx53
by Timur 31 Aug '12

31 Aug '12

I want to add support of i.mx53 to base-hw. I encounter a problem while turning on MMU. Problem appears when i want to write a system control register with setted mmu bit in enable_mmu function : Sctlr::access_t sctlr = Sctlr::read(); Sctlr::M::set(sctlr); Sctlr::I::clear(sctlr); Sctlr::C::clear(sctlr); -->Sctlr::write(sctlr); after this string system freezes. Registers which are used in this function are the same as in Cortex A9. -- Galiullin Timur

2 1

building nova
by buzz lightyear 24 Aug '12

24 Aug '12

Hi I built the Nova base at least a year ago and had no problems building using <genode>/base-nova/docs/nova.txt. This time (with !make kernel no longer available) I do a !make and get the following: checking library dependencies...Skip target core because it requires linuxSkip library syscall because it requires linuxSkip library ipc because it requires linuxSkip library rpath because it requires linuxSkip library thread because it requires linuxSkip library startup because it requires linuxSkip target test/ada because it requires gnatSkip target test/rm_nested because it requires experimental Library platform MERGE platform.lib.a Library slab COMPILE slab.o MERGE slab.lib.a Library avl_tree COMPILE avl_tree.o MERGE avl_tree.lib.a Library allocator_avl COMPILE allocator_avl.o MERGE allocator_avl.lib.a Library cap_copy COMPILE cap_copy.o MERGE cap_copy.lib.a Library console COMPILE console.o MERGE console.lib.a Library cxx COMPILE exception.o COMPILE guard.o COMPILE malloc_free.o COMPILE misc.o COMPILE new_delete.o COMPILE unwind.o MERGE supc++.o CONVERT supc++.o MERGE cxx.lib.amake[1]: *** No rule to make target `syscall.lib', needed by `core_printf.lib'. Stop.make: *** [gen_deps_and_build_targets] Error 2 Could someone please give me a hint at what I should do here - I'm running on Ubuntu 12.04 32bit - the prebuilt toolchain seems to work OK. CheersNick

2 3

Announcement: Genode OS Framework version 12.08 released
by Norman Feske 23 Aug '12

23 Aug '12

Midsummer - there couldn't be a better time for releasing a new version of Genode. Among the highlights of version 12.08 are a new base platform that enables the framework to run on bare ARM hardware without a separate kernel, the largely reworked support for the NOVA hypervisor, and comprehensive device drivers for OMAP4-based hardware platforms. Quick overview of the changes that come with version 12.08: - Base platforms - New base-hw platform for running the framework on bare ARM hardware - NOVA support for x86_64, object integrity protection, core-only kernel-resource allocation - New OMAP4 SoC device drivers - HDMI output - SD-card - USB HID - Networking - New FFAT-based file-system service - New TAR file-system service - Improved Noux runtime - New port of the Lynx web browser - Shell scripting support - 3rd-party libraries - New ports of openssl, pcre, expat - MPC, libgmp for x86_64 and ARM - lwIP updated to version 1.4.1-rc1 - New port of the lighttpd web server Those and many more improvements are described in full detail in the release notes: http://genode.org/documentation/release-notes/12.08 Have fun with exploring the new version! Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Celebrate the 4th Anniversary of Genode with us
by Norman Feske 22 Aug '12

22 Aug '12

Hello, I just sent out an invitation with the Genode-Labs newsletter today. Just in case you are not receiving these mailings, please find the invitation text below: ---- when we released the first version of the Genode OS Framework four years ago, a few people recognized the potential of the technology but considered Genode largely as a research endeavor, which was probably right at that time. Now, four years of dedication and 16 releases later, Genode has evolved to a comprehensive and useful framework that increasingly captures the interest of the "real world". Over the course of the last year, we learned about several industrial research organizations who picked up our work to build upon, received inquiries about licensing our technology for the use in products, and observed increased public interest in the prospects Genode promises with regard to privacy and security. The most significant event for the project during the past year, however, was our move to liberate its development process and thereby expose our way of working and all technical discussions to the public. Although this was a radical move for a small company as ours, we got immediately rewarded by new developers and users entering the scene and an emerging community spirit. To celebrate these achievements together with us, we would like to welcome you to join us having a barbecue and campfire at the riverside: Google Maps: http://goo.gl/maps/C0luj 23th of August, 6 pm near Moritzburger Str. 1 in Dresden Everyone who feels attached to Genode in some way to another, please do not hesitate to drop by, hang out with the Genode crowd, and enjoy the barbecue and beverages. If you plan to attend, please send a brief notice until 20th of August to info@...1... Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

Status of 2012 Roadmap
by Robert Campbell 17 Aug '12

17 Aug '12

Hello guys, How is the progress on the 2012 road map? Are you on target to realize the goals set out in the 12.08 milestone? August - Release 12.08 Tiled window manager and user-interface concept Intel wireless driver Persistent file system Hosting genode.org website on Genode Multi-processor support on NOVA, Pistachio, and Fiasco.OC Regards

2 3

Illegal session request to service CPU
by Markus Partheymueller 17 Aug '12

17 Aug '12

Hi, with the latest code in staging I get the following error when starting the PCI driver through ACPI: [init -> acpi -> pci_drv] PCI driver started [init -> acpi] pci_drv: illegal session request of service "CPU" Later, the PCI driver fails because of this. The config portion looks as follows: <parent-provides> <service name="ROM"/> <service name="RAM"/> <service name="IRQ"/> <service name="IO_MEM"/> <service name="IO_PORT"/> <service name="CAP"/> <service name="PD"/> <service name="RM"/> <service name="CPU"/> <service name="LOG"/> <service name="SIGNAL"/> </parent-provides> ... <start name="acpi"> <resource name="RAM" quantum="32M"/> <binary name="acpi_drv"/> <provides> <service name="PCI"/> <service name="IRQ"/> <service name="CPU"/> </provides> <parent-provides> <service name="CPU"/> </parent-provides> <route> <service name="PCI"> <any-child/> </service> <any-service><parent/><any-child/></any-service> </route> </start> The parent-provides entry and the service name="CPU" in <provides> were not present in my last setup, but didn't change anything. Am I missing something or is there a problem with the most recent changes regarding the CPU session or NOVA-specific code? Cheers, Markus

2 1

Fwd: Re: openrisc
by Martin Stein 09 Aug '12

09 Aug '12

-------- Original Message -------- Subject: Re: openrisc Date: Thu, 09 Aug 2012 11:08:04 +0200 From: Martin Stein <martin.stein@...1...> To: Nick Betteridge <nick.betteridge@...2...> Hi Nick, I'm pleased to hear that you've found the time to proceed. ... You're right concerning the directory 'src/platform'. Due to the fact that 'base-hw' solely targets ARM systems for now, the separation of generic and platform specific code is not proven very well. I've annotated this issue, thank you! Moreover i'm not sure if i've understood you right regarding 'mode_transition.s'. The file does not really handle or control any type of exception. It's purpose is on the one hand to only catch exceptions, wich occur in userland, save the interrupted user execution-state and exception information, and get back to the kernel enviroment to re-run 'kernel()'. On the other hand it offers also the opposite direction, that is resuming a given user execution-context in userland once 'kernel()' returns. This way the handling of the concrete exception, whether it is an interrupt, a page fault or a syscall, resides completely in 'kernel()'. If you were looking for the resolution of page faults, even 'kernel()' is not the final destination. When kernel detects the presence of a page fault, the function 'handle_pagefault()' only checks if the fault was caused by a translation miss. If this is the case a pager might resolve the problem by expanding the according page table. Thus kernel composes an appropriate IPC message to the pager that is identified by the thread object of the faulter. The pager normally is a thread in Genodes 'core' process, wich itself asks the so called "Region Manager" of the faulter for a region mapping that covers the fault. If a mapping is found the pager modifies the page table accordingly. The only process that doesn't need pagers is 'core'. Because 'core' is the first process in Genode, gets initialized by 'kernel()' and must be trusted anyway, its page table gets filled with static 1:1 translations initially by kernel. Once this is done, kernel itself joins this process, so userland threads in 'core' and the kernel "thread" share the same address space. Long story short, the configuration of virtual/effective addresses depends, except of 'core' on the region managers, wich themselves are instructed through the RM-sessions (base/include/rm-session/rm_session.h) they provide to their RPC-clients. I hope this gives you a rough picture of Genodes virtual-address management, even it is a somewhat far-reaching explanation. Cheers, Martin On 08/08/2012 06:24 PM, Nick Betteridge wrote: > Hi Martin, > > ... > > I have been slowly reading through your arm assembler, trying to > understand how genode works. > > Just one thing - you have partitioned both arm processors and platforms > into named directories, except for base_hw/src/platform, which contains > arm assembler. Do you intend to refactor this into something like > base_hw/src/platform/arm? > > Just one more thing, am I right in thinking > > 'base-hw/src/core/arm_v7a/mode_transition.s' > > is just for interrupt control? I can't find anything for configuring > virtual/effective addresses - perhaps this is done in 'c' (I haven't > read the c yet) - in openrisc this is handled in the supervisor mode. > > Cheers > Nick > > > >

2 1

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users