Norman Feske
633f335171
sel4: core skeleton
2015-05-26 09:39:57 +02:00
Norman Feske
b8c107ceb2
sel4: let run tool support core and non-core tests
2015-05-26 09:39:57 +02:00
Norman Feske
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
Norman Feske
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
Norman Feske
c73b6e9c0d
sel4: move core console to core_printf library
2015-05-26 09:39:56 +02:00
Norman Feske
e3cb8d48f7
sel4: never compile syscall-using code with -fPIC
2015-05-26 09:39:56 +02:00
Norman Feske
1314bd3b2a
sel4: notes about virtual memory management
2015-05-26 09:39:56 +02:00
Norman Feske
9bf7a240fc
sel4: test the use of memory mappings
2015-05-26 09:39:56 +02:00
Norman Feske
58481fe35d
sel4: use largest untyped range
2015-05-26 09:39:56 +02:00
Norman Feske
37c266327f
sel4: capability overmap test
2015-05-26 09:39:56 +02:00
Norman Feske
418f2ab119
sel4: testing the unwrapping of capabilities
2015-05-26 09:39:55 +02:00
Norman Feske
33c2bc3bf2
sel4: capability delegation test
2015-05-26 09:39:55 +02:00
Norman Feske
03010831cd
sel4: adapt article to new version of run tool
2015-05-26 09:39:55 +02:00
Norman Feske
1fdf36efed
sel4: IPC between two threads
2015-05-26 09:39:55 +02:00
Norman Feske
45b90aa898
sel4: review of the first article
2015-05-26 09:39:55 +02:00
Norman Feske
68671dbc2f
sel4: preemptive scheduling
2015-05-26 09:39:55 +02:00
Norman Feske
40c48c4538
sel4: thread creation
2015-05-26 09:39:54 +02:00
Norman Feske
9bf7568909
sel4: replace syscalls.patch by macros.patch
2015-05-26 09:39:54 +02:00
Norman Feske
52c4dc8ec8
sel4: print boot info
2015-05-26 09:39:54 +02:00
Norman Feske
6b9185ab34
sel4: enable core console
2015-05-26 09:39:54 +02:00
Norman Feske
666c74345f
sel4: add patch for sel4/syscalls.h
2015-05-26 09:39:54 +02:00
Norman Feske
29f58dbd70
sel4: first syscall invokation
2015-05-26 09:39:54 +02:00
Norman Feske
2b24593758
sel4: minimalistic roottask
2015-05-26 09:39:54 +02:00
Norman Feske
456d81f517
New base-sel4 repository
2015-05-26 09:39:53 +02:00
Norman Feske
a96243eebf
News item for third seL4 article
2015-05-26 09:39:53 +02:00
Norman Feske
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
Christian Helmuth
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
Christian Helmuth
140ecb1238
linux: prevent hybrid-mode compiler warnings
2015-05-26 09:39:53 +02:00
Christian Helmuth
c934ee1650
libc: remove debugging artifact from exit()
2015-05-26 09:39:53 +02:00
Christian Helmuth
b5b9b1789d
libcrypto: remove redundant ) from .mk
2015-05-26 09:39:52 +02:00
Christian Helmuth
05dc764935
qt5: prevent compiler warnings
2015-05-26 09:39:52 +02:00
Christian Helmuth
97889935cf
pci: fix compiler warning
2015-05-26 09:39:52 +02:00
Christian Helmuth
e9652d765d
foc: increase stack size for IRQ handler
2015-05-26 09:39:52 +02:00
Alexander Boettcher
869fac8f76
pci: print irq/msi vector when a device gets used
2015-05-26 09:39:52 +02:00
Alexander Boettcher
dd7ddae0e9
pci: add readme to pci_drv, adjust acpi_drv README
2015-05-26 09:39:52 +02:00
Alexander Boettcher
51b79d7da6
pci: support disabling msis
2015-05-26 09:39:52 +02:00
Christian Prochaska
d9825cd708
codezero: move first container to higher address
...
Fixes #1525
2015-05-26 09:39:51 +02:00
Christian Helmuth
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
Christian Helmuth
4dad09203a
input_merger: fix compiler warning
2015-05-26 09:39:51 +02:00
Alexander Boettcher
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
Christian Prochaska
d554200e5a
x86emu: prevent warnings about uninitialized vars
...
Fixes #1522
2015-05-26 09:39:51 +02:00
Christian Prochaska
526d6eed1c
libc: fix compiler warning
...
Fixes #1523
2015-05-26 09:39:51 +02:00
Alexander Boettcher
e5930105bb
tool_chain: symlink fix
...
If contrib is a symbolic link using ".." leads to wrong directories.
2015-05-26 09:39:51 +02:00
Christian Helmuth
1ff8a55d7c
create_builddir: use acpi spec on hw_x86_64
2015-05-26 09:39:51 +02:00
Norman Feske
e2fe071871
Minor comment refinements for the manual
2015-05-26 09:39:50 +02:00
Reto Buerki
f02c92598b
run: Use -m 512 for hw_x86_64 on qemu
...
The base-hw kernel on x86_64 currently assumes 254 MiB of RAM. The RAM
region is subtracted from the I/O mem allocator and therefore this range
is not available for device I/O.
If qemu is started with -m 128, the region for (emulated) PCI config
space access lies within this region and I/O mem allocation in the
pci_drv will fail. Giving qemu more RAM moves the PCI config space out
of the 254 MiB region, making the run/libc_ffat scenario with acpi work.
2015-05-26 09:39:50 +02:00
Reto Buerki
58178949ef
hw_x86_64: Make AHCI driver work
...
The assumption that IRQs in the legacy ISA range are always
edge-triggered is wrong. For the free-for-use IRQs it depends on the
actual device which uses the specific IRQ. Therefore, treat IRQs 9, 10
and 11 as level-triggered.
2015-05-26 09:39:50 +02:00
Reto Buerki
afec233f50
hw_x86_64: Use _edge_triggered() in _create_irt_entry()
2015-05-26 09:39:50 +02:00
Reto Buerki
5eed6de910
hw_x86_64: Let _edge_triggered() operate on IRQ
...
Use the base IRQ in the _edge_triggered() utility function, not the
remapped vector.
2015-05-26 09:39:50 +02:00
Reto Buerki
6af893123e
hw_x86_64: Only block masking of legacy IRQs
...
Allow legacy IRQ unmasking. Initially, all IRQs are masked and must be
explicitly unmasked by a driver.
2015-05-26 09:39:50 +02:00
