41b99a6b51
sel4: use yielding spinlock for 'Genode::Lock'
2015-05-26 09:39:58 +02:00
f24b212e47
sel4: core-local thread creation
2015-05-26 09:39:58 +02:00
e6ad346e24
sel4: management of core's virtual memory
2015-05-26 09:39:57 +02:00
1f5cfef64e
sel4: switch to core's custom cspace layout
2015-05-26 09:39:57 +02:00
de8bfb37f9
sel4: initialization of core's allocators
2015-05-26 09:39:57 +02:00
633f335171
sel4: core skeleton
2015-05-26 09:39:57 +02:00
b8c107ceb2
sel4: let run tool support core and non-core tests
2015-05-26 09:39:57 +02:00
65a74cf5e0
sel4: complement base-common.mk
...
This patch extends the base-common library with the symbols needed to
link core.
2015-05-26 09:39:57 +02:00
885e9333ac
sel4: don't use base-common.mk in test roottask
...
To build core and other Genode components, we will need to extend the
base-common.mk library with additions that conflict with the
minimalistic root-task environment of test/sel4. To preserve the
minimalistic root task, we need to decouple it from the base-common
library.
2015-05-26 09:39:56 +02:00
c73b6e9c0d
sel4: move core console to core_printf library
2015-05-26 09:39:56 +02:00
e3cb8d48f7
sel4: never compile syscall-using code with -fPIC
2015-05-26 09:39:56 +02:00
1314bd3b2a
sel4: notes about virtual memory management
2015-05-26 09:39:56 +02:00
9bf7a240fc
sel4: test the use of memory mappings
2015-05-26 09:39:56 +02:00
58481fe35d
sel4: use largest untyped range
2015-05-26 09:39:56 +02:00
37c266327f
sel4: capability overmap test
2015-05-26 09:39:56 +02:00
418f2ab119
sel4: testing the unwrapping of capabilities
2015-05-26 09:39:55 +02:00
33c2bc3bf2
sel4: capability delegation test
2015-05-26 09:39:55 +02:00
03010831cd
sel4: adapt article to new version of run tool
2015-05-26 09:39:55 +02:00
1fdf36efed
sel4: IPC between two threads
2015-05-26 09:39:55 +02:00
45b90aa898
sel4: review of the first article
2015-05-26 09:39:55 +02:00
68671dbc2f
sel4: preemptive scheduling
2015-05-26 09:39:55 +02:00
40c48c4538
sel4: thread creation
2015-05-26 09:39:54 +02:00
9bf7568909
sel4: replace syscalls.patch by macros.patch
2015-05-26 09:39:54 +02:00
52c4dc8ec8
sel4: print boot info
2015-05-26 09:39:54 +02:00
6b9185ab34
sel4: enable core console
2015-05-26 09:39:54 +02:00
666c74345f
sel4: add patch for sel4/syscalls.h
2015-05-26 09:39:54 +02:00
29f58dbd70
sel4: first syscall invokation
2015-05-26 09:39:54 +02:00
2b24593758
sel4: minimalistic roottask
2015-05-26 09:39:54 +02:00
456d81f517
New base-sel4 repository
2015-05-26 09:39:53 +02:00
a96243eebf
News item for third seL4 article
2015-05-26 09:39:53 +02:00
35a52f0282
base: const qualifiers in base/trace/types.h
...
This patch adds missing const qualifiers to the == operators of
'Subject_id' and 'Policy_id'. Thanks to Pirmin Duss for reporting.
2015-05-26 09:39:53 +02:00
8990346c6c
mmio: fix compiler warnings
...
We implicitly know that the value range will not exceed access_t despite
the integer-based arithmetics, i.e., negation and shift operations.
Fixes #1524
2015-05-26 09:39:53 +02:00
140ecb1238
linux: prevent hybrid-mode compiler warnings
2015-05-26 09:39:53 +02:00
c934ee1650
libc: remove debugging artifact from exit()
2015-05-26 09:39:53 +02:00
b5b9b1789d
libcrypto: remove redundant ) from .mk
2015-05-26 09:39:52 +02:00
05dc764935
qt5: prevent compiler warnings
2015-05-26 09:39:52 +02:00
97889935cf
pci: fix compiler warning
2015-05-26 09:39:52 +02:00
e9652d765d
foc: increase stack size for IRQ handler
2015-05-26 09:39:52 +02:00
869fac8f76
pci: print irq/msi vector when a device gets used
2015-05-26 09:39:52 +02:00
dd7ddae0e9
pci: add readme to pci_drv, adjust acpi_drv README
2015-05-26 09:39:52 +02:00
51b79d7da6
pci: support disabling msis
2015-05-26 09:39:52 +02:00
d9825cd708
codezero: move first container to higher address
...
Fixes #1525
2015-05-26 09:39:51 +02:00
7d39304050
rpi: fix response initialization in platform_drv
...
GCC 4.9 legitimately whines that const members of responses must be
initialized on construction.
2015-05-26 09:39:51 +02:00
4dad09203a
input_merger: fix compiler warning
2015-05-26 09:39:51 +02:00
3e90542559
nova: use signals with irqs in core
...
Avoids the need to have per IRQ a thread that blocks synchronously for next
interrupt. Now a thread may wait for multiple IRQs as other signals
simultaneously.
In core no threads are required anymore for IRQs/MSI - the clients (either
the pci_drv or in case of MSI the driver) gets the IRQ delivered directly as
a ordinary Genode signal.
Useful since #1216 and #1487 is now available.
Commit applies feature of #1446 also to IRQ/MSIs.
2015-05-26 09:39:51 +02:00
d554200e5a
x86emu: prevent warnings about uninitialized vars
...
Fixes #1522
2015-05-26 09:39:51 +02:00
526d6eed1c
libc: fix compiler warning
...
Fixes #1523
2015-05-26 09:39:51 +02:00
e5930105bb
tool_chain: symlink fix
...
If contrib is a symbolic link using ".." leads to wrong directories.
2015-05-26 09:39:51 +02:00
1ff8a55d7c
create_builddir: use acpi spec on hw_x86_64
2015-05-26 09:39:51 +02:00
e2fe071871
Minor comment refinements for the manual
2015-05-26 09:39:50 +02:00
Norman Feske
Christian Helmuth
Alexander Boettcher
Christian Prochaska