Norman Feske 33b038e8a7 Consistent spelling of "writeable" ...

Fixes #4425

2022-02-15 10:23:58 +01:00

..

include

allocator_avl: use Attempt for size_at

2022-02-15 10:16:51 +01:00

sel4

mk: link core to library archive instead of .o file

2021-02-23 12:17:04 +01:00

spec

Consistent spelling of "writeable"

2022-02-15 10:23:58 +01:00

capability_space.cc

base/core: use references instead of pointers

2019-02-12 10:33:13 +01:00

core_log_out.cc

base-*: rename core_log.cc to core_log_out.cc

2017-12-21 15:01:46 +01:00

core_region_map.cc

base: introduce Allocator::try_alloc

2021-11-29 15:11:52 +01:00

io_mem_session_support.cc

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

irq_session_component.cc

base: avoid implicit conversions

2021-12-17 15:04:44 +01:00

pager.cc

core: kernel-agnostic 'Mapping' type

2021-04-20 12:10:57 +02:00

platform_pd.cc

base: avoid implicit conversions

2021-12-17 15:04:44 +01:00

platform_thread.cc

base: avoid implicit conversions

2021-12-17 15:04:44 +01:00

platform.cc

base: avoid implicit conversions

2021-12-17 15:04:44 +01:00

ram_dataspace_support.cc

base: introduce Allocator::try_alloc

2021-11-29 15:11:52 +01:00

rpc_cap_factory.cc

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

signal_source_component.cc

base: avoid implicit conversions

2021-12-17 15:04:44 +01:00

stack_area.cc

base: introduce Ram_allocator::try_alloc

2021-11-29 15:10:53 +01:00

thread_start.cc

base: remove deprecated cancel_blocking() support

2020-07-13 11:33:12 +02:00