On 28.02.2018 15:25, Alexander Boettcher wrote:
On 28.02.2018 00:58, Valery V. Sedletski via genode-main wrote:
[1] https://imgur.com/a/kSptw
The ACPI table named ATKG seems to cause also trouble on other Linux
machines according to my search results. Maybe you can apply the latest
BIOS
Hi Josef,
During the last weeks I was out of office which is why this answer is a
bit delayed.
El 26/02/18 a las 21:26, Josef Stark escribió:
> Hello,
>
> I circumvented the problem of finding the correct dataspace by letting
> the pagefault handler open another ROM connection to the binary at
Hereby, I proudly announce the release of Genode 18.02, which features
the first revision of Sculpt OS, which is the Genode-based operating
system that our team at Genode Labs has been using for several months
now. For the release, we have taken the time to polish and document it
so that
On 28.02.2018 00:58, Valery V. Sedletski via genode-main wrote:
> [1] https://imgur.com/a/kSptw
The ACPI table named ATKG seems to cause also trouble on other Linux
machines according to my search results. Maybe you can apply the latest
BIOS update to that machine, since the root cause of the