very far away but I wish you good luck with it. If I were there I
> would live stream it :)
>
> Regards.
>
> El mié., 9 de may. de 2018 04:27, Johannes Kliemann
> <kliem...@componolit.com <mailto:kliem...@componolit.com>> escribió:
>
> Hi Genode folks,
&g
Linux and a demo running on base-linux with a stripped down Linux kernel
using the native fb_boot_drv and ps2_drv.
Location: Andreas-Pfitzmann-Bau, Nöthnitzer Str. 46
01187 Dresden, Germany; Room 3105
Time: Monday, May 14, 2018 at 11:00 a.m
Regards,
Johannes Kliemann
[1]: https://genode.org/a
> Hello Genode folks,
>
> I want to invite you to the defence of my student thesis
> "Microkernelization of Linux" (and enabling native Genode driver support
> on base-linux).
> It will take place in the Andreas-Pfitzmann-Bau room 3105 at 11:00.
At the 14th May
Hello Genode folks,
I want to invite you to the defence of my student thesis
"Microkernelization of Linux" (and enabling native Genode driver support
on base-linux).
It will take place in the Andreas-Pfitzmann-Bau room 3105 at 11:00.
Regards,
Johanne
Hi all,
I'm currently measuring the code base sizes of Genode with different
kernels. I have split this into the kernel itself and kernel-dependent
code of Genode (core and ld.lib.so).
This worked well for all kernels except hw where I couldn't really make
a distinction between the kernel and
Hi Norman,
> have you tried to add this test directly in '_export_ram_ds' inside
> core. That is, 'mmap'ing it locally, writing 'ds->size' number of bytes,
> reading them again, followed by clearing them. Just to be sure.
Yes I did. I also added such a test in _map_local and in both cases I
Hi all,
I'm struggling with modifying the Ram_dataspace in base-linux.
I have replaced the file descriptor opened in
> void Ram_dataspace_factory::_export_ram_ds(Dataspace_component *ds)
in base-linux/src/core/ram_daraspace_support.cc by opening a special
device file that provides mappable ram.
Hi all,
on base-linux when Genode::Pd_connection::address_space is called it
returns an invalid capability. In the platform_drv [1] this causes the
Region_map to fail to attach the DMA memory.
On NOVA for example this capability is valid. I went through the code
but I still have no idea what
Hello Christian,
thanks for that hint, it was the missing piece. I can now happily
announce that Interrupts are working on Genode with base-linux!
Regards,
Johannes
Am 13.03.2018 um 16:25 schrieb Christian Helmuth:
> Hello Johannes,
>
> On Tue, Mar 13, 2018 at 01:36:09PM +0100,
Hi all,
I'm currently implementing the IRQ session on base-linux.
If I understood the Foundations book correctly interrupts are waiting in
a separate thread that locks when it is waiting and continues (and calls
the handler) once an interrupt is triggered.
According to this I have implemented a
Outlook for Android <https://aka.ms/ghei36>
>
> ----
> *From:* Johannes Kliemann <kliem...@componolit.com>
> *Sent:* Sunday, February 18, 2018 6:01:36 AM
> *To:* Genode OS Framework Mailing List
> *Subject:* 32 bit overflow in timer
>
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 something to
overflow and stop the timer after 2 905 032 704 us which equals 7
Hi all,
while testing the IO_MEM session on Linux with ACPI I noticed that the
acpi_drv segfaults when freeing its io memory on
repos/os/src/drivers/acpi/acpi.cc:1304 [1]. The crash happens then in
repos/base/include/base/allocator.h:319 at
> operator delete (obj, dealloc);
I noticed that this
a lambda of the body
> of the Rtc::current_time() RPC method. One example of with_libc in
> user can be found in genode/repos/gems/src/server/tcp_terminal/main.cc.
>
> Cheers,
> Emery
>
>
> On Tue, 6 Feb 2018 23:19:16 +0100
> Johannes Kliemann <kliem...@componolit.
Hi all,
when I use the lwip networking I sometimes get the following error:
> Error: libc suspend() called from non-user context (0x117549a) - aborting
I have tracked it down to a call of getaddrinfo yet I could not find
out when exactly and why this happens. It occurs at ca. 50% of the
tries.
Hi Norman,
> just a shot in the dark: Have you called 'Rpc_entrypoint::manage(ds)'
> for your dataspace object? Or to put the question differently: Is the
> dataspace capability that you return in
> 'Io_mem_session_component::dataspace()' valid inside core? If not, you
> have most likely missed
Hi Norman,
I have tracked down the issue to the Io_mem_dataspace_capability being
invalid.
The segfault is caused by _dataspace_size() being called on an invalid
capability in region_map_mmap.cc. I think a better behaviour would be to
check the validity and throw an Invalid_dataspace() exception
Hi Norman
thanks for your help.
> On base-linux, there exists a custom 'Dataspace_component'
> implementation. In contrast to the regular version that maintains the
> information about the dataspace's physical address, the base-linux
> version has a file descriptor as member variable and the
Hi all,
I'm currently implementing a IO_MEM session for base-linux. The basic
idea is as follows:
- core opens a file in /dev/ and calls an ioctl on the file to set a
memory range.
- it passes this file descriptor to the child process that requested
the session
- the child process mmaps the
.
Regards,
Johannes
Am 12.01.2018 um 16:32 schrieb Christian Helmuth:
> Hello Johannes,
>
> On Fri, Jan 12, 2018 at 01:09:25PM +0100, Johannes Kliemann wrote:
>> Why does Genode handle -EINTR with an exception and not the way proposed
>> in the GNU manual?
>
> We use
the syscall. Yet Genode
does not and throws an exception.
Is there any signal that only the init process receives that isn't
handled properly in Genode (sorry if this is slightly off-topic)?
Why does Genode handle -EINTR with an exception and not the way proposed
in the GNU manual?
Regards,
Johannes
Hi Norman,
> As another principle idea - at least for handing out MMIO mappings for
> PCI resources, you may have a look at the pseudo files under
> /sys/devices. Here you can find all memory-mapped PCI resources as
> files, which could be mapped in user space via 'mmap'. E.g., the
> following
at some point.
Greets
Johannes
Am 03.01.2018 um 09:45 schrieb Christian Helmuth:
> Hello Johannes,
>
> On Fri, Dec 29, 2017 at 07:37:39PM +0100, Johannes Kliemann wrote:
>> before Christmas we chatted about enabling the MMIO session on Linux.
>> You said that you know a
Hi Norman,
before Christmas we chatted about enabling the MMIO session on Linux.
You said that you know a possibility to create constrained file
descriptors (in such a way that accesses through this descriptor can
only access a part of the file). I've done a second search but I
couldn't find any
Hi Alex,
I have tested your fix and can confirm that it solves the issue.
Regards,
Johannes
Am 18.12.2017 um 14:28 schrieb Alexander Boettcher:
> Hi Johannes,
>
> On 07.12.2017 10:11, Johannes Kliemann wrote:
>> Yet this doesn't explain the second error that iwl is tim
Hi Alex,
unfortunately I don't have the device with me currently. I will test
those commits next time I get it into my hands ;)
Johannes
Am 18.12.2017 um 14:28 schrieb Alexander Boettcher:
> Hi Johannes,
>
> On 07.12.2017 10:11, Johannes Kliemann wrote:
>> Yet this doesn't exp
,
Johannes
Am 05.12.2017 um 17:06 schrieb Johannes Kliemann:
> Hi Alex,
>
> thanks to your hint with Issue #2207 I was able to get the value of res
> which is 9. What I find interesting is the fact that it now seems to be
> able to assign the PCI device as you can see in [1].
>
to you).
Regards,
Johannes
[1]: https://imgur.com/a/osaVJ
[2]:
https://github.com/jklmnn/genode/tree/8a64415f52df2dee30e8fcd279e16d1b18eb2fb9
Am 04.12.2017 um 22:14 schrieb Alexander Boettcher:
> Hello,
>
> On 04.12.2017 10:04, Johannes Kliemann wrote:
>> Hi all,
>>
>> I tried
:
> Hello Johannes,
>
> just an idea...
>
> On Mon, Dec 04, 2017 at 10:04:36AM +0100, Johannes Kliemann wrote:
>>> [platform_drv] Error: wifi_drv -> : assignment of PCI device 4:0.0
>> failed phys=0xf840 virt=0x10
>
> This physical address seem
Hi all,
I tried to use the Wifi driver for Intel wifi chips.
When running the driver I get the following messages:
> [platform_drv] Error: wifi_drv -> : assignment of PCI device 4:0.0
failed phys=0xf840 virt=0x10
and
> [wifi_drv] [iwl_trans_pcie_grap_nic_access] *WARN* Timeout waiting for
Thanks, that's exactly what I needed.
Am 01.11.2017 um 15:40 schrieb Christian Helmuth:
> Hello Johannes,
>
> I don't know exactly the compilation dependencies of your init binary
> and how it should be built. But, you may have a look into
>
>
there
but the build system still does it's own linking which makes the binary
segfaulting if executed on the host.
Is there a way to do this or do I need to build it externally?
Regards,
Johannes
Am 26.10.2017 um 13:39 schrieb Johannes Kliemann:
> Hi Norman,
>
> using a separate init to chdir
Hi Norman,
using a separate init to chdir also made the segfault disappear and I
can now successfully run the timer test on Linux [1].
Regards,
Johannes
[1]:
https://github.com/jklmnn/genode/commit/5cee03703b78018ab42398a3245f8bb148ca9281
On 10/25/17 11:39, Norman Feske wrote:
Hi
Regards,
Johannes
[1]: https://wiki.debian.org/initramfs
On 10/24/17 18:59, Nobody III wrote:
Also, you could use the kernel command line, e.g. "init=/genode/core".
On Tue, Oct 24, 2017 at 10:20 AM, Johannes Kliemann
<johannes.kliem...@tu-dresden.de
<mailto:johannes.kliem...@tu-dr
in the last mail still appear.
To reproduce the problem with the current state, check out [1]. The
build configuration is the same as in the last mail.
Regards,
Johannes
[1]:
https://github.com/jklmnn/genode/commit/2c899063f2bad1318bbde88f2472e017fc72be34
On 10/24/17 11:27, Johannes Kliemann wrote
Hi Boris,
I have a similar problem with running a Qt application from a second
thread. In my case it segfaulted after QApplication::app.
Christian gave me a hint I wasn't able to try yet, but maybe it could be
helpful for you, too.
On Mon, Oct 16, 2017 at 01:42:04PM +0200, Johannes
Hi,
while booting Genode directly on Linux I encountered the problem that
Linux requires to call `/init` in the initramfs. Unfortunately Genode
requires to call `core` which loads `init` so renaming core to init
isn't enough.
I renamed init to init2 core to init and called it with "label=init2"
Hi,
I want to create a base-linux core that is able to run on a bare linux
kernel to use it such as any other microkernel in Genode. Since
base-linux already implements some of the required interfaces I'd like
to reuse the already existing components as much as possible.
Yet I'm not sure what
Hi,
I tried to create a provide an input session from a libc (in this case
an Qt application). If I just run it from the Main struct it will
correctly announce the session but since Main never returns, no client
will be able to use it.
I tried to circumvent this by putting the application into a
/d2a86faf9035e17c64a0b52aeab648fcb913f46d/repos/os/run/drv_test.run
[2]:
https://github.com/jklmnn/genode/blob/797578e903b85e64da2925b09024b6ab5d6780cc/repos/os/run/drv_test.run
Am 13.10.2017 um 16:36 schrieb Christian Helmuth:
> Hello Johannes,
>
> On Fri, Oct 13, 2017 at 04:04:40PM +0200, Johannes Kliem
Hi,
I tried to completely remove the default-route with
any-service/any-child from my runfile and only explicitly allow services
to components.
I have created a minimal example with only the timer driver [1] but I
wasn't able to explicitly grant service access to the timer driver.
When I prepend
Hi Christian,
I tried to implement a custom InputMethod for the QtVirtualKeyboard. But
I couldn't find any useful information on how to do this.
Beside the Technical Guide [1] for the keyboard there seems to be no
documentation on how to do this.
I have implemented my custom InputMethod class
Hi Christian,
while working with the QtVirtualKeyboard, I noticed that I can attach a
QInputMethod directly to the keyboard which is a much cleaner solution
than using a hidden input field.
As far as I understood it, it is required to create a custom
implementation of
nes,
>
> On 30.08.2017 16:22, Johannes Kliemann wrote:
>> is anyone using threads in Qt5 applications on Genode?
>> Is it possible to use QThreads or are Genodes own threads required? If
>> so, how would I get an instance of Genode::Env in a Qt application
>> (
Hi,
is anyone using threads in Qt5 applications on Genode?
Is it possible to use QThreads or are Genodes own threads required? If
so, how would I get an instance of Genode::Env in a Qt application
(which I would need for the thread).
Regards,
Johannes
Thanks, that worked.
I forgot to use the whole patch when I tried to run it out of tree on a
separate machine.
Regards,
Johannes
Am 14.08.2017 um 16:40 schrieb Christian Prochaska:
> Hi Johannes,
>
> On 14.08.2017 16:03, Johannes Kliemann wrote:
>> I finally got the plugin t
ree containing a previous build.
on a clean (except that patch) source tree. Do you have any idea about that?
Regards,
Johannes
[1]:
https://github.com/jklmnn/genode/commit/676df58996fe0f9958da49116ee5317edb8226cd
Am 09.08.2017 um 09:58 schrieb Johannes Kliemann:
> Hi Christian,
>
> I tr
Hi,
I currently try to debug a Qt application with gdb.
I adapted the setup from `ports/run/gdb_monitor_interactive.run?` and
tried it with the framebuffer test and tetrix. The framebuffer test
worked fine but with tetrix it hangs after the first continue and
doesn't seem to break at
the
plugin. Even if dynamically loading it is a problem, shouldn't Qt find
the plugin first and then fail to load it?
Regards,
Johannes
Am 02.08.2017 um 19:27 schrieb Christian Prochaska:
> Hi Johannes,
>
> On 31.07.2017 15:20, Johannes Kliemann wrote:
>> after applying your co
the xfer_master function (through a wrapper
though) and call Lx::scheduler::schedule() after its creation.
But that seems to return while the tasks are not yet completed.
Regards,
Johannes
Am 27.07.2017 um 16:20 schrieb Sebastian Sumpf:
> Hi Johannes,
>
> On 07/27/2017 01:42 PM, Johannes
> \_SB_.I2C4.TCS2._STA
> \_SB_.I2C4._PS0
> \_SB_.I2C4.TCS2._PS3
> \_SB_.I2C4.TCS2._PS0
This is the sequence called by Linux (shortened, double entries are
omitted). Beside the status calls I can't see anything special.
Regards,
Johannes
Am 04.08.2017 um 11:12 schrieb Alexander Boettcher
Hi again,
first, I have posted this question already on Stackoverflow [1] and
Reddit [2] but forgot to put it on the mailing list.
> I have a touchscreen controller (which is an I2C slave) that I need to enable
> via APCI. This should be done by calling the _PS0 ACPI method. I call this
>
Hi,
I tried to use Nova without Bender with Multiboot2. Basically it works,
but when I omit Bender, there's no serial output from either Nova or
Genode. I couldn't find out what Bender does different to enable serial
on Nova.
My grub2.cfg looks as follows:
> set timeout=5
> serial --unit=0
y but none of the
worked.)
My current state is under [1].
Thanks and regards,
Johannes
[1]:
https://github.com/jklmnn/genode/commit/ae3425c0ff2bbab0502f4216af8f89b172285139
Am 28.07.2017 um 13:26 schrieb Christian Prochaska:
> Hi Johannes,
>
> On 27.07.2017 16:52, Johannes Kliemann wrot
Hi Sebastian,
yes, that is the function I call from Genode.
And thanks in advance for helping me out.
Regards,
Johannes
Am 27.07.2017 um 10:58 schrieb Sebastian Sumpf:
> Hi Johannes,
>
> I looked into the i2c driver. Are we talking about the 'i2c_dw_xfer'
> function?
>
> Regards,
>
>
me
> [init] child "basic" exited with exit value 1
How can I add QtQuick dependencies on Genode, is there already some code
example?
Thanks and regards,
Johannes
[1]: https://github.com/jklmnn/genode/tree/qt_virtualkeyboard
Am 27.07.2017 um 00:18 schrieb Christian Prochaska:
> Hi Johannes,
Hi,
I tried to build the Qt Virtualkeyboard example.
I adapted the target.mk of the calculatorform example to point to the
correct project file.
Make fails at the project file at line 6 with missing separator. This
part contains the following:
static {
QT += svg
QTPLUGIN +=
that the interrupt never occurs while the task is inside the
Linux code.
I'm not sure what I miss or how the Lx::Task should be used exactly in
this case.
Regards,
JK
Am 25.07.2017 um 12:52 schrieb Sebastian Sumpf:
> Hi Johannes,
>
> On 07/25/2017 08:54 AM, Johannes Kliemann wro
Hi,
I'm currently writing a dde_linux driver that requires to wait for an
interrupt to be handled.
It basically initializes the hardware and then waits for an event to
occur. This event is usually triggered by the interrupt (respectively
its handler) which occurs after hardware initialization.
My
Hi,
I was told that there was a discussion about tracing mmio on the mailing
list but I couldn't find it in the archive.
So is there a tool for Genode that traces mmio accesses (like mmiotrace
for Linux [1])? If not would there be a need for such a tool?
Regards,
JK
[1]:
Hi,
with the new toolchain, the compression has changed from bzip2 to xz.
The toolchain instructions [1] still state to use
> sudo tar xPfj genode-toolchain--.tar.bz2
This doesn't work anymore as `-j` requires bzip2 and fails with the
following error:
> bzip2: (stdin) is not a bzip2 file.
>
Hi,
does Genode provide something similar to the standard C++ condition
variable? I want to block a function call until a certain event occurs
but I don't want to sleep and check for that event.
Regards,
JK
--
Check out
Hi Norman,
thanks for your answer!
> I guess that you are already using the input filter to feed the virtual
> keyboard's events back to nitpicker?
We have not yet implemented the input service as we're yet thinking
about the overall architecture but that would have been our approach.
>
Hi,
we want to create a virtual keyboard for touch screen devices. This
shall be done by letting the keyboard provide an input service.
The problem here is that Nitpicker only provides input to the currently
active client. Since the keyboard needs to receive input events from the
touch screen,
Hi,
I tried to play around with the acpica port. I strongly used the code
from `/repos/libports/src/app/acpica/os.cc` as reference. When I compile
my code, I get the following error:
> /.../genode/repos/demo/src/app/acpi_i2c/main.cc: In constructor
> ‘Acpica::Main::Main(Genode::Env&)’:
>
Thanks, I merged the changes into the current master and it worked.
Am 11.05.2017 um 14:27 schrieb Christian Helmuth:
> Hello Johannes,
>
> On Thu, May 11, 2017 at 01:10:23PM +0200, Johannes Kliemann wrote:
>> when I try to run `make run/acpica` from [1], I get the following e
Hi,
when I try to run `make run/acpica` from [1], I get the following error
message:
> Genode 17.02-75-g1fcc16420
> 85 MiB RAM assigned to init
> [init] Warning: acpi_input: no route to service "RAM"
> [init] Error: Uncaught exception of type 'Genode::Parent::Service_denied'
> [init] Warning:
Hi Alex,
how have you built the efi files for grub2? I tried to build them from
master and from the commit you used in Genode [1].
If I run configure with --with-platform=efi some headers are missing for
the build and if I configure without it grub-mkimage fails with error:
no symbol table.
15:45 schrieb Josef Söntgen:
> Hello Johannes,
>
> * Johannes Kliemann <johannes.kliem...@tu-dresden.de> [2017-04-26 15:00:35
> +0200]:
>> how are modules in dde_linux loaded exactly? For example the i915 driver
>> seems to be loaded with `module_i915_init` which somehow c
Hi,
how are modules in dde_linux loaded exactly? For example the i915 driver
seems to be loaded with `module_i915_init` which somehow connects to
`module_init(i915_init)` but I can't see how this is done.
I want to add a new driver which is loaded by
`module_platform_driver(...)`. What steps are
he port-sources every night to detect dead links. Tonight the
>> dde-linux port check did not fail. Do you experienced the connection
>> problem just this morning or already for a longer time?
>> If it is a temporary problem only, I wouldn't change the port file yet.
>>
>
can be changed in the makefile eventually.
>
> Boris
>
>
> On 11-04-17 09:53, Johannes Kliemann wrote:
>> Hi,
>>
>> while trying to build Genode with dde_linux I noticed that the
>> connection to infradead.org timed out, so I'm not able to retrieve
>> ht
Stefan Kalkowski, Josef Söntgen, thank you for the quick info.
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
Hi,
I want to enable the debug output in the Intel framebuffer (to see
messages printed by DRM_DEBUG_KMS). This is usually done by adding the
boot parameter `drm.debug=0xe`.
How would I enable this in Genode with Nova?
JK
74 matches
Mail list logo