Re: Setting up Child Policy explicitly for a child PD which will announce a service.

> On 2023-06-27 22:39, Sid Agrawal wrote: > > I am trying to setup a scenario where the parent starts a child PD in > > the C code, i.e., there is no node for the child in the config > > file. It is similar to the rm_nested test example [1]. > > > > But in my sc

Setting up Child Policy explicitly for a child PD which will announce a service.

think that fixing (1) would fix two as well. Any help pointing me in the right direction would be very helpful. Thanks as always! Best, Sid sid-agrawal.ca [1] https://github.com/genodelabs/genode/blob/master/repos/base/src/test/rm_nested/main.cc [2] https://github.com/sid

Intel MPK | ARM MTE

Hi Both ARM[1] and Intel[2] have features to hide parts of the address space from the rest of the program. The motivation of these hardware features is typically to hide the data of the app from a library or vice-versa. Both of them use unused bits in the PageTableEntry to store news (about 4 bits)

Re: Running SQLite

> > I had to patch the sqlite3 implementation that comes with Qt5 > because of missing F_SETLK support. Maybe it is the same problem? > > This is the patch: > > https://github.com/cproc/qt5/commit/c8b512db33a612e5026aa73fd8bfd257f967cdd8.patch > > Christian > >

Re: Running SQLite

t if folks could point me in the right direction. My code and steps to repro are below. Best, Sid Source Code: https://github.com/sid-agrawal/genode/tree/sid-branch/repos/osmosis_examples/src/app/sqlite_example Steps to reproduce: git clone https://github.com/sid-agrawal/genode.git cd

Running SQLite

Hi, I would like to run SQLite inside a Genode process. I could not find a run recipe or a dir in libports. Has someone tried in the past? If so, can you please point me in the right direction? Best, Sid PhD UBC sid-agrawal.ca ___ Genode users mailing li

Re: Some questions on bare metal readiness

I just tried botting sculpt with hw kernel on my x86-64 PC and it work without a hitch. > Thanks again. > Sid > Grad Student > University of British Columbia > > > ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/us

Some questions on bare metal readiness

Hi Genodians, I got introduced to Genode as a viable userspace for seL4. But having looked at the code and the abstraction provided by the "core", I feel like I do not really case much about whether I am running sel4 under the hood or not. I plan to use Genode for my research and to that affect, I

VMM ARM examples: Issues.

Hi, I am attempting to run the *vmm_arm run scripts* and am running into a few issues. I am running this on Ubuntu 22.04 with x86_64. The scenario I am trying is to run a with the *hw kernel with arm_v8a arch.* First Issue: '*src/libc' not found - unable to guess version* *Steps:* *git clone ...*

Re: sculpt OS kernel and applications

; Hi Sid, > > On 12/26/22 23:40, Sid Agrawal wrote: > > 1. I understand the Genode can be made with multiple kernels such as > OKL4, > > seL4, and Nova, as well as your own kernel named hw? However, it was not > > obvious which kernel is used by sculpt. > > You

sculpt OS kernel and applications

Hi, I am looking for the following answers but could not get an answer on the website. 1. I understand the Genode can be made with multiple kernels such as OKL4, seL4, and Nova, as well as your own kernel named hw? However, it was not obvious which kernel is used by sculpt. 2. Where can I find the

Re: Design Question about implementing RPC on top of IPC

Hi Norm On Mon, Apr 25, 2022 at 2:34 AM Norman Feske wrote: > [CAUTION: Non-UBC Email] > > Hallo, > > the issue was discussed in 2014 on the se14 mailing list: > > > https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/I3AYF2AMRIRAMTCBMRENP7TVTH6RDCJQ/ > > Thanks. This is such a

Re: Design Question about implementing RPC on top of IPC

> are your aware of the article series about "Genode on seL4" [1]? > Especially the section about "Translation of capabilities aka > unwrapping" [2] may be of interest to you. > > Hi Christian, Thanks for sharing this. I did look at this article and the note about unwrapping. But unwrapping only wo

Re: Design Question about implementing RPC on top of IPC

_vmm/include/block_driver.h > [3] https://genode.org/documentation/genode-foundations-21-05.pdf 8.8.4. > ID space > [4] grep -r "ID space" /doc/ > [5] /repos/os/src/lib/vfs/fs_file_system.h > [6] /repos/os/src/drivers/gpu/intel/main.cc > > On 20.04.22 00:42, Sid A

Design Question about implementing RPC on top of IPC

Hi Genode, I am building userspace on seL4 directly and have run into a design issue. I am implementing server and client using badged endpoints. I think Genode would have run into the same issue, and I would like to understand better how Genode solves it. It is not directly a Genode question, but

Re: Build errors while adding a new func to Region Map

Non-UBC Email] > > Hello Sid, > > you chose most difficult place to play around with RPC functions - the > base API. I'd recommend to follow the hello-wrold tutorial [1] for > your initial steps. > > Regarding your remaining question... > > On Fri, Feb 04, 2022 at

Re: Build errors while adding a new func to Region Map

Hi, I found the problem. I was missing another change in region_map_client.cc. Adding that fixed the issue. Diff: https://github.com/sid-agrawal/genode/commit/e18fdadc0a92746efa0046a7f93c2525c99668e9.diff I still have the questions of whether changing the ld file is expected? -Sid On Thu, Feb 3

Build errors while adding a new func to Region Map

ng library loading(4). Steps to reproduce and details of errors below. My diff is available here: Diff: https://github.com/sid-agrawal/genode/commit/26a79e7f1a77b99fb3b555198a29c638fd510bf4.diff HTML: https://github.com/sid-agrawal/genode/commit/26a79e7f1a77b99fb3b555198a29c638fd510bf4 It is just upstr

Intel's Memory Protection Keys

Hi, I want to use Intel's MPK in my project with Genode. A grep of the source code did not yield anything obvious. >From what I know about Intel's MPKs, I should be able to piggyback on the kernel's capability to manipulate the page table. The "keys" reside in the top 4 bits of the translation in

Re: Questions about Address Space, Scheduling and CSpace

Hi Norman, Thanks for the response. I have replied inline below whilst quoting the relevant parts. Let me know if this list has some other preferred way of organizing longer email exchanges. Thanks, Sid On Mon, Jan 10, 2022 at 6:14 AM Norman Feske wrote: > Both constraints can be satisfied by m

Questions about Address Space, Scheduling and CSpace

Hi, I am using Genode with the seL4 backend for my research and have questions about some of the core's services. Address Space: 1. Referring to section 3.4.4 from the Genode foundation's book. I am not sure I follow how using a different RM for the stack segment helps us pro

Re: users Digest, Vol 41, Issue 17

Looks like I have messed up the threading on [1] since I responded to the daily digest. I have since switched off the daily digest so that the subject lines remain intact. Again, my apologies. [1] https://lists.genode.org/pipermail/users/2021-September/thread.html > __

Re: users Digest, Vol 41, Issue 17

Hi Norman, 1. Use plain text, not HTML. > > 2. When replying, quote sensibly selected parts of the original posting. >Avoid quoting the original posting in full. Keep in mind that top >postings are generally frowned upon. > > Sorry about this. Will follow the guidelines going forward. Be

Re: users Digest, Vol 41, Issue 8

line so it is more specific > than "Re: Contents of users digest..." > > > Today's Topics: > >1. Getting Started with Genode (Sid Agrawal) >2. Aw: Getting Started with Genode (Uwe) > > > ----------

Re: Getting Started with Genode

--- > > Message: 1 > Date: Thu, 23 Sep 2021 10:02:00 +0200 > From: Christian Helmuth > To: users@lists.genode.org > Subject: Re: Getting Started with Genode > Message-ID: <20210923080200.gb2...@genode-labs.com> > Content-Type: text/plain; cha

Getting Started with Genode

Hi Genodians, I am a graduate student at the University of British Columbia with their Systopia Lab . My research area is operating systems, and I would like to use Genode(with seL4) as the OS platform for demonstrating my research ideas. As with starting with a new plat