users

users@lists.genode.org

2285 discussions

Reading thread registers
by Denis Huber 07 Mar '17

07 Mar '17

Hello Genode community, in my checkpoint component I intercepted the Cpu session of a child, through which I get all Thread_capabilities created for and by the child. To store the state of a component I need to store the registers of the threads used by the child. I tried reading the registers through the "Thread_state Cpu_thread::state()" method, but it did not contain any information about (just zeros). I'm using Genode 16.05, kernel Fiasco.OC (pbax9 build). By inspecting the kernel API of foc, I found out that the function l4_thread_ex_regs_ret can read the sp and ip register. By changing the state method in platform_thread.cc (in base-foc) I could get the registers: Thread_state Platform_thread::state() { Thread_state s; if (_pager_obj) s = _pager_obj->state; _pager_obj->state.ip = ~0UL; _pager_obj->state.sp = ~0UL; l4_umword_t flags = 0; l4_thread_ex_regs_ret(_thread.local.dst(), &_pager_obj->state.ip, &_pager_obj->state.sp, &flags); s.sp = _pager_obj->state.sp; s.ip = _pager_obj->state.ip; s.kcap = _gate.remote; s.id = _gate.local.local_name(); s.utcb = _utcb; return s; } But other registers like r0 - r12 are missing. Is there a simple way in Genode to get them? Can I utilize the utcb memory location to find the missing registers? Kind regards Denis

2 6

GSoc-2017: Platforms - Microkernelizing Linux, help needed
by Sky Liu 07 Mar '17

07 Mar '17

Hi, there. I'm a college student majoring Information Security in HUST, and I'm interested in genode's GSoC project on microkernelizaing the Linux kernel. I've been quite interested in microkernel OSs and virtualization, with limited experiences working on xen and the linux kernel. and have been in the MINIX community for a short time, so I was attracted by this challenge at the first sight. However, I'm still new to the genode project. So I'll appreciate it if I could get from you some suggestions on where to get started. :) Best Regards, Zhongze Liu.

5 8

Genode-Demo scenario
by john stokes 06 Mar '17

06 Mar '17

Hi Genodians i am new to this frame work and i have explored it as a beginner i have created hello world scenario and also read some the basic stuff from Genode book. my query is that i want to integrate some component in the demo scenario like tutorial browser or menu_view , virtual box etc. can you guys help me and provide me a way so that by proceeding i can do the above mentioned things. thanks in advance

2 1

Make RAM dataspaces read-only (sth similar to mprotect in Linux)
by David 06 Mar '17

06 Mar '17

Dear Genode community, I've joined Denis Huber's project on developing a real-time checkpoint/restore component for Genode. ( https://sourceforge.net/p/genode/mailman/message/35211808/ ) In order to improve our process of memory checkpointing we would like to distinguish reading memory accesses from writing memory accesses. While we do not care about reading, we are highly interested in detecting the occurrence of writing accesses. At the moment our way to detect the access to a specific memory region is to detach the corresponding dataspace and handle the pagefault which is produced when the component tries to access the dataspace. We are aware that it is possible to determine whether a writing or a reading access triggered a pagefault but we don't want to increase the amount of pagefaults by detaching dataspaces after every time they were only read. It would be cool if writing would cause an error which is is not produced by reading. As a solution to this we thought of adding the possibility to make a RAM dataspace read-only, something which is similar to „mprotect“ in Linux. With this feature we would not need to detach dataspaces but writing accesses would still produce faults which we could track in order to detect them. Is such an alteration of RAM dataspaces possible? If yes, how would you do it? What kind of fault would be triggered if someone tries to write to a read-only memory? Are we able to get information about such a fault in Genode? We are using Genode on top of the Fiasco.OC. Thanks in advance! Kind Regards, David

3 3

Golang on Genode: a follow-up
by Wenbo Xu 06 Mar '17

06 Mar '17

Dear all, I’m also trying to implement something on Genode. I noticed there is already a discussion about this issue one year ago: https://sourceforge.net/p/genode/mailman/message/34975818/ <https://sourceforge.net/p/genode/mailman/message/34975818/> Since it is already a long time, I’m wondering if there is any latest news about that. To be more specific: 1. What is the amount of effort, to port existing program or library to Genode, or implement something new in Genode? 2. Is there any reason, that I should not use Genode? (Re-asked). 3. Is there any guidelines, principles, rule of thumbs, good and bad experiences to use Go on Genode? Best regards, wenbox

2 1

[GSoC] Rust bindings for the Genode API
by Saurav Sachidanand 03 Mar '17

03 Mar '17

Hello Genode, I'm Saurav Sachidanand, and I'm a CS sophomore studying in India. For more than year I've been programming in Rust and have published some personal projects in it (few involving the Rust-C FFI) and have contributed a few patches to Servo (github.com/saurvs). I've also played around a bit with kernel modules in NetBSD. I'm interested in working on Rust bindings for the Genode API. I'm also completely new to Genode, and so I'll spend time reading the extensive documentation and the Genode Foundations book, and building and running Genode, and will do independent research on the project. I'd greatly appreciate any guidance and pointers regarding this project. I'd also like to ask if a scripting language has been ported to Genode. If not, I'd like to suggest working on porting Lua since it is widely used as embeddable and extensible language, and has a manageably-sized codebase so that it can be one half of a two part GSoC project. Thanks, Saurav

2 1

Zynq-7000 HDMI driver status
by Johannes Schlatow 02 Mar '17

02 Mar '17

Hello everyone, earlier this year I mentioned that I have been working on an HDMI driver for the zynq-based boards. Unfortunately, I have only very limited time to work on this and it already ended up on a very low priority in my to-do list. The good news is, however, that the main parts have already been implemented but require some more debugging. In case anyone is interested in getting her/his hands dirty, I'll gladly provide assistance. You can find the code on github: https://github.com/ValiValpas/genode-world/tree/zynq_hdmi The run script I used for development is `adv7511.run`. The last thing I noticed was that the axi-clkgen driver is not working properly. Cheers Johannes

1 0

GSoC 2017: Isochronous USB devices, guidance needed
by Tyler Jones 02 Mar '17

02 Mar '17

Hello everyone, I am a Computer Science student in the US, and I am interested in the USB device work in Genode. I have experience with linux kernel USB device drivers, and am interested in the challenge of widening that knowledge with a separate and unique environment. I have spent some time trying to familiarise myself with the Genode code base and reading sections of the book, so I comfortable with how the OS operates at a high level. However, I am uncertain with the most appropriate direction in tackling the problem. Any help with this would be greatly appreciated. Thank you, in advance, for anyone willing to help guide me in a correct direction. I look forward to contributing to this project in any way that I am able! Thanks again, Tyler Jones

2 1

Google Summer of Code
by Norman Feske 01 Mar '17

01 Mar '17

Hello everyone, apparently, Zhongze Liu was quicker than me to announce Genode's participation in this year's Google Summer of Code (GSoC) program. ;-) Please find our official announcement on the genode.org website: http://genode.org/news/google-summer-of-code 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

1 0

Genode OS Framework version 17.02 released
by Norman Feske 28 Feb '17

28 Feb '17

I am happy to announce the release of Genode 17.02. Among the highlights of the new version are the introduction of Genode's ABI, init's new ability to the change a running subsystem on the fly, and a greatly improved VFS infrastructure that has been in the works for more than a year. As usual, all those topics are covered in full detail in the release documentation: https://genode.org/documentation/release-notes/17.02 For a brief summary: - Genode application binary interface (ABI) - Enhanced infrastructure for virtual file systes (VFS) - VFS support for synchronous I/O and reconfiguration - Rump-kernel-based file systems as VFS plugin - Linux TCP/IP stack as VFS plugin - New execution model of the C runtime - Dynamically reconfigurable init component - Generic user-input-processing component - Improved SD-card drivers, added support for i.MX6 - Muen separation kernel updated to version 0.8 I hope you'll enjoy the new version! 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

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users