Re: Sculpt EA On VirtualBox

On 03/05/2018 02:48 PM, Alexander Boettcher wrote: On 05.03.2018 17:07, John J. Karcher wrote: On 03/05/2018 08:05 AM, Alexander Boettcher wrote: Since I primarily run everything I do in VirtualBox (and don't have the recommended hardware anyway), I created a VM as close to the

Re: RasPi 3 build problem

Thanks all for the answers! I will note that the Ultibo.org multikernel has 32 bit support for all ARM models. Pascal code, but the constants are .. constant. E.g.: https://github.com/ultibohub/Core/blob/master/source/rtl/ultibo/core/bcm2837.pas ../platformaarch64.pas

Re: Sculpt EA On VirtualBox

On 05.03.2018 17:07, John J. Karcher wrote: > On 03/05/2018 08:05 AM, Alexander Boettcher wrote: > Since I primarily run everything I do in VirtualBox (and don't have the recommended hardware anyway), I created a VM as close to the recommendations as possible. >> >> It will work

Genode affinity, multi-core separation and service encapsulation (core inferences)

Hello, after an exhaustive evaluation of different scenarios for testing the coherent execution of components on distinct cores, the following question arises: Is it basically possible to separate a component running on core 1 completely (e.g. pd, ram, rom, log) from the remaining system running

Re: RasPi 3 build problem

Genode won't run on ARM Cortex A-53 processors(Pii 3 uses them) because of the archtectural difference introduced by Aarch64, through which I'm hacking right now. Bob Get Outlook for Android From: Stefan Kalkowski

Re: Sculpt EA On VirtualBox

On 03/05/2018 08:05 AM, Alexander Boettcher wrote: Hi, On 04.03.2018 08:22, John J. Karcher wrote: Actually, while the problems at SourceForge were delaying the mailing list, I solved part of my problem.  Details below... On 03/01/2018 11:14 PM, John J. Karcher wrote: Hello, I have

Re: Bender and GRUB1 "legacy"

Hi Valery, > Yes, looks like a redraw problem indeed. FYI, I fixed this problem today: https://github.com/genodelabs/genode/commit/e0ac419ecd50594a4a001711c54413e799abc2a9 Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH ·

Re: Bender and GRUB1 "legacy"

On 05.03.2018 13:16, Alexander Boettcher wrote: On 01.03.2018 02:01, Valery V. Sedletski via genode-main wrote: and re-create the interactive driver package (as shown above). Yes, I increased caps quota for fb_drv now, and commented "throw" out in acpi.cc, this Can you please test commit [0],

Re: 32 bit overflow in timer

A small remark... On Mon, Mar 05, 2018 at 02:49:18PM +0100, Martin Stein wrote: > For greater timeouts you could use msleep(unsigned) (up to 49 > days and 17 hours). This will not work as msleep(ms) just calls usleep(1000*ms). -- Christian Helmuth Genode Labs https://www.genode-labs.com/ ·

Re: 32 bit overflow in timer

An addition... El 05/03/18 a las 14:49, Martin Stein escribió: > I printed sizeof(unsigned) (Timer::Connection::usleep takes unsigned), > and it says 4. ... on x86 64 ;) Martin -- Check out the vibrant tech community

Re: 32 bit overflow in timer

Hi Johannes, El 18/02/18 a las 12:01, Johannes Kliemann escribió: > Hi all, > > I noticed a 32 bit overflow in the Timer::Connection sleep functions and > triggers. > Calling usleep or trigger_once with an hour (3 600 000 000 us) works but > calling it with two hours (7 200 000 000 us) causes

Re: Bender and GRUB1 "legacy"

On 05.03.2018 14:09, Norman Feske wrote: Hello Valery, On 04.03.2018 17:06, Valery V. Sedletski via genode-main wrote: Though, trying to run "sculpt_test" on NOVA in QEMU, I see "drivers" and "leitzentrale", and "runtime" starting, and then silence (no progress). I commented the routing rules

Re: RasPi 3 build problem

On Mon, Mar 05, 2018 at 05:31:21AM -0700, Nobody III wrote: > How much does the Raspberry Pi version actually matter? Aren't they almost > entirely backward-compatible? Maybe, from a user-level perspective it does not matter, because you can run the Raspberry 3 in ARMv7 compatibility mode, and

Re: Sculpt EA On VirtualBox

Hi, On 04.03.2018 08:22, John J. Karcher wrote: > Actually, while the problems at SourceForge were delaying the mailing > list, I solved part of my problem.  Details below... > > > On 03/01/2018 11:14 PM, John J. Karcher wrote: >> Hello, >> >> I have downloaded, built, and begun testing Sculpt

Re: keyboard/keymap issues

Hello Ben, On Thu, Mar 01, 2018 at 11:48:58PM -0700, Nobody III wrote: > In Sculpt, I have noticed 2 major keyboard issues: > 1. The caps lock and shift keys are treated identically, which gives > unexpected results (symbols instead of numbers) when a user types numbers > with caps lock enabled.

Re: Bender and GRUB1 "legacy"

Hello Valery, On 04.03.2018 17:06, Valery V. Sedletski via genode-main wrote: > Though, trying to run "sculpt_test" on NOVA in QEMU, I see "drivers" and > "leitzentrale", > and "runtime" starting, and then silence (no progress). I commented the > routing rules > in all three subsystems out, so

Sculpt questions, briefly answered

Hello everyone, it's really great to see your interest in Sculpt! Hereby, I'd like to clarify a few things about Sculpt that were raised in the discussion. Question: Is any kernel supported other than NOVA? No. Please stick to NOVA because it is the only kernel used with Sculpt at Genode

Re: RasPi 3 build problem

Hi, On Mon, Mar 05, 2018 at 12:04:54AM +, Ken.Dickey wrote: > Greetings, > > I git cloned Genode, downloaded last version of tools, and am following the > instructions in doc/getting_started.txt > > I seem to be close but am lacking usb. Tried both sel4 and foc. > > I am totally

Re: Bender and GRUB1 "legacy"

On 01.03.2018 02:01, Valery V. Sedletski via genode-main wrote: >> and re-create the interactive driver package (as shown above). > Yes, I increased caps quota for fb_drv now, and commented "throw" out in > acpi.cc, this Can you please test commit [0], which should ignore the invalid ACPI table

RasPi 3 build problem

Greetings, I git cloned Genode, downloaded last version of tools, and am following the instructions in doc/getting_started.txt I seem to be close but am lacking usb. Tried both sel4 and foc. I am totally unfamiliar with the build tools. Can some kind person help me out? Thanks much,