Re: arm_64 exception vector and el2 stack

2023-01-03 Thread Michael Grunditz
On Tue, 3 Jan 2023 at 17:20, Michael Grunditz wrote: > > > I figured that. It is just that I was unsure about el2_stack because > > of , set before mmu. > and apparently I ignored the sctlr settings :-) OK so here is what I have now.. The code for EL switch with comments: asm volatile("mov x0,

Re: Roadmap 2023

2023-01-03 Thread Benjamin Lamowski
Hi everyone, On 12/26/22 16:58, Norman Feske wrote: > How did you perceive the Genode year 2022? First of all, I want to take the opportunity to thank the team at Genode Labs for the warm welcome! I joined Genode Labs just before the 22.10 Sculpt OS release and I was quite impressed by the

Re: u-boot requirements for genode

2023-01-03 Thread Michael Grunditz
On Tue, 3 Jan 2023 at 15:59, Stefan Kalkowski wrote: > > Hello Michael, > > > On Fri, Dec 30, 2022 at 02:49:25AM +0100, Michael Grunditz wrote: > > Hello > > > > I would like to know the requirements from u-boot in order to properly > > start genode. > > in general Genode's base-hw kernel can

Re: arm_64 exception vector and el2 stack

2023-01-03 Thread Michael Grunditz
> I figured that. It is just that I was unsure about el2_stack because > of , set before mmu. and apparently I ignored the sctlr settings :-) ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Re: Roadmap 2023

2023-01-03 Thread Josef Söntgen
Hello, > How did you perceive the Genode year 2022? > What directions are you most excited about? One of the most profound developments was certainly the overall enablement of Sculpt on the PinePhone partly aided by the revitalized DDE Linux porting approach. Being able to provide a driver

Re: arm_64 exception vector and el2 stack

2023-01-03 Thread Michael Grunditz
On Tue, 3 Jan 2023 at 16:10, Stefan Kalkowski wrote: > > Hello Michael, Hello Stefan and thanks for the answer. > > > On Tue, Jan 03, 2023 at 12:29:31PM +0100, Michael Grunditz wrote: > > Hi > > > > Where does Genode/base-hw write the exception vector to the address that > >

Re: arm_64 exception vector and el2 stack

2023-01-03 Thread Stefan Kalkowski
Hello Michael, On Tue, Jan 03, 2023 at 12:29:31PM +0100, Michael Grunditz wrote: > Hi > > Where does Genode/base-hw write the exception vector to the address that > hypervisor_exception_vector reports it? The hypervisor_exception_vector gets mapped at a later point during kernel initialization.

Re: u-boot requirements for genode

2023-01-03 Thread Stefan Kalkowski
Hello Michael, On Fri, Dec 30, 2022 at 02:49:25AM +0100, Michael Grunditz wrote: > Hello > > I would like to know the requirements from u-boot in order to properly > start genode. in general Genode's base-hw kernel can boot from different environments that u-boot might provide. This depends on

Re: Roadmap 2023

2023-01-03 Thread Norman Feske
Hi Colin, But to work seriously in Sculpt one wants to install a VM, [...] It would be fantastic if one could, out-of-the box, virtualize an installed OS. this reminds me on the article [1] by Johannes, who created Linux vs. Linux-on-Genode dual-boot scenario. [1]

Re: Sculpt OS - A Truly Alternative OS blog post

2023-01-03 Thread Will Senn
Hi again Norman, On 1/3/23 8:04 AM, Norman Feske wrote: Hi Will, OK. I've wrapped up my week with Sculpt OS by writing up a using sculpt article for posterity, etc, and so on :). > [...]

Re: Properly shutting down

2023-01-03 Thread Will Senn
Hi Norman, On 1/3/23 8:14 AM, Norman Feske wrote: Hi Will, So, if I'm tracking it means that if I run stuff on disk and want to shut down, I have to kill everything running on a persistent medium plus any VMs before sending the reset or poweroff signals? Off to do more studying - how does

Re: Roadmap 2023

2023-01-03 Thread Alexander Boettcher
Hi all, On 12/26/22 4:58 PM, Norman Feske wrote: What about you? --- How did you perceive the Genode year 2022? The first part of the year was dominated by project work and took me quite some time to re-port the Intel display driver based on the new dde_linux update. The

Re: Roadmap 2023

2023-01-03 Thread Norman Feske
Hi Cedric, thank you for contributing your unique perspective. Hence : I'll keep an eye out for Genode. Those start-up times sound impressive. The intended use for her will be somewhat limited : sending SMS's, Matrix or Discord, photo album, maybe a bit of web browsing. VPN features would be

Re: Properly shutting down

2023-01-03 Thread Norman Feske
Hi Will, So, if I'm tracking it means that if I run stuff on disk and want to shut down, I have to kill everything running on a persistent medium plus any VMs before sending the reset or poweroff signals? Off to do more studying - how does one get the environment to reestablish, something

Re: Sculpt OS - A Truly Alternative OS blog post

2023-01-03 Thread Norman Feske
Hi Will, OK. I've wrapped up my week with Sculpt OS by writing up a using sculpt article for posterity, etc, and so on :). > [...] https://decuser.github.io/operating-systems/genode/sculpt/2022/12/30/sculpt-os-22.10-a-truly-alternative-os.html Wow, that's wonderful! Thank you for

Re: using GOA to port libraries

2023-01-03 Thread Norman Feske
Hi Pirmin, I'm still working on the support to build libraries with Goa. > [...] The current state can be found at https://github.com/trimpim/goa/tree/library_support. This still requires heavy cleanup, which I will do next year, after I have completed some of my other tasks. thank you for

arm_64 exception vector and el2 stack

2023-01-03 Thread Michael Grunditz
Hi Where does Genode/base-hw write the exception vector to the address that hypervisor_exception_vector reports it? It doesn't work. If I leave out the vbar setting I get exceptions from uboot if I do something stupid. If not , nothing. But of course, I might be wrong it is just that I would