diff --git a/repos/base-fiasco/src/core/platform.cc b/repos/base-fiasco/src/core/platform.cc
index 155b2475bd..3ae52fbeac 100644
--- a/repos/base-fiasco/src/core/platform.cc
+++ b/repos/base-fiasco/src/core/platform.cc
@@ -472,8 +472,8 @@ Core::Platform::Platform()
 		[&] (void *core_local_ptr, size_t size) {
 			Xml_generator xml(reinterpret_cast<char *>(core_local_ptr),
 			                  size, "platform_info",
-				[&] () {
-					xml.node("kernel", [&] () {
+				[&] {
+					xml.node("kernel", [&] {
 						xml.attribute("name", "fiasco"); }); }); });
 }
 
diff --git a/repos/base-foc/src/core/platform.cc b/repos/base-foc/src/core/platform.cc
index bca9bd8741..15f4ed5779 100644
--- a/repos/base-foc/src/core/platform.cc
+++ b/repos/base-foc/src/core/platform.cc
@@ -505,17 +505,17 @@ Core::Platform::Platform()
 
 	export_page_as_rom_module("platform_info",
 		[&] (char *core_local_ptr, size_t size) {
-			Xml_generator xml(core_local_ptr, size, "platform_info", [&] ()
+			Xml_generator xml(core_local_ptr, size, "platform_info", [&]
 			{
-				xml.node("kernel", [&] () {
+				xml.node("kernel", [&] {
 					xml.attribute("name", "foc");
 					xml.attribute("acpi", true);
 					xml.attribute("msi" , true);
 				});
-				xml.node("hardware", [&] () {
+				xml.node("hardware", [&] {
 					_setup_platform_info(xml, sigma0_map_kip()); });
 
-				xml.node("affinity-space", [&] () {
+				xml.node("affinity-space", [&] {
 					xml.attribute("width", affinity_space().width());
 					xml.attribute("height", affinity_space().height()); });
 			});
diff --git a/repos/base-foc/src/core/spec/x86/platform.cc b/repos/base-foc/src/core/spec/x86/platform.cc
index 38fddfaaaf..935d8b571b 100644
--- a/repos/base-foc/src/core/spec/x86/platform.cc
+++ b/repos/base-foc/src/core/spec/x86/platform.cc
@@ -102,11 +102,11 @@ static bool cpu_name(char const * name)
 void Platform::_setup_platform_info(Xml_generator &xml,
                                     Foc::l4_kernel_info_t &kip)
 {
-	xml.node("features", [&] () {
+	xml.node("features", [&] {
 		/* XXX better detection required, best told us by kernel !? */
 		xml.attribute("svm", cpu_name("AuthenticAMD"));
 		xml.attribute("vmx", cpu_name("GenuineIntel")); });
 
-	xml.node("tsc", [&] () {
+	xml.node("tsc", [&] {
 		xml.attribute("freq_khz" , kip.frequency_cpu); });
 }
diff --git a/repos/base-foc/src/lib/base/x86/vm.cc b/repos/base-foc/src/lib/base/x86/vm.cc
index c2cd71be62..98ac98578f 100644
--- a/repos/base-foc/src/lib/base/x86/vm.cc
+++ b/repos/base-foc/src/lib/base/x86/vm.cc
@@ -72,7 +72,7 @@ struct Foc_native_vcpu_rpc : Rpc_client<Vm_session::Native_vcpu>, Noncopyable
 		Capability<Vm_session::Native_vcpu> _create_vcpu(Vm_connection &vm,
 		                                                 Thread_capability &cap)
 		{
-			return vm.with_upgrade([&] () {
+			return vm.with_upgrade([&] {
 				return vm.call<Vm_session::Rpc_create_vcpu>(cap); });
 		}
 
diff --git a/repos/base-hw/src/core/platform.cc b/repos/base-hw/src/core/platform.cc
index 6392184c56..4df49e25f3 100644
--- a/repos/base-hw/src/core/platform.cc
+++ b/repos/base-hw/src/core/platform.cc
@@ -154,15 +154,15 @@ void Platform::_init_platform_info()
 		return;
 	}
 
-	Xml_generator xml(reinterpret_cast<char *>(virt_addr), rom_size, rom_name, [&] ()
+	Xml_generator xml(reinterpret_cast<char *>(virt_addr), rom_size, rom_name, [&]
 	{
-		xml.node("kernel", [&] () {
+		xml.node("kernel", [&] {
 			xml.attribute("name", "hw");
 			xml.attribute("acpi", true);
 			xml.attribute("msi",  true);
 		});
 		_init_additional_platform_info(xml);
-		xml.node("affinity-space", [&] () {
+		xml.node("affinity-space", [&] {
 			xml.attribute("width", affinity_space().width());
 			xml.attribute("height", affinity_space().height());
 		});
diff --git a/repos/base-hw/src/core/spec/x86_64/platform_support.cc b/repos/base-hw/src/core/spec/x86_64/platform_support.cc
index ef14783784..d7dcb4528c 100644
--- a/repos/base-hw/src/core/spec/x86_64/platform_support.cc
+++ b/repos/base-hw/src/core/spec/x86_64/platform_support.cc
@@ -24,11 +24,11 @@ using namespace Core;
 void Platform::_init_additional_platform_info(Xml_generator &xml)
 {
 	if (_boot_info().plat_info.efi_system_table != 0) {
-		xml.node("efi-system-table", [&] () {
+		xml.node("efi-system-table", [&] {
 			xml.attribute("address", String<32>(Hex(_boot_info().plat_info.efi_system_table)));
 		});
 	}
-	xml.node("acpi", [&] () {
+	xml.node("acpi", [&] {
 		uint32_t const revision = _boot_info().plat_info.acpi_rsdp.revision;
 		uint32_t const rsdt     = _boot_info().plat_info.acpi_rsdp.rsdt;
 		uint64_t const xsdt     = _boot_info().plat_info.acpi_rsdp.xsdt;
@@ -42,8 +42,8 @@ void Platform::_init_additional_platform_info(Xml_generator &xml)
 				xml.attribute("xsdt", String<32>(Hex(xsdt)));
 		}
 	});
-	xml.node("boot", [&] () {
-		xml.node("framebuffer", [&] () {
+	xml.node("boot", [&] {
+		xml.node("framebuffer", [&] {
 			Hw::Framebuffer const &boot_fb = _boot_info().plat_info.framebuffer;
 			xml.attribute("phys",   String<32>(Hex(boot_fb.addr)));
 			xml.attribute("width",  boot_fb.width);
@@ -53,12 +53,12 @@ void Platform::_init_additional_platform_info(Xml_generator &xml)
 			xml.attribute("pitch",  boot_fb.pitch);
 		});
 	});
-	xml.node("hardware", [&]() {
-		xml.node("features", [&] () {
+	xml.node("hardware", [&] {
+		xml.node("features", [&] {
 			xml.attribute("svm", Hw::Virtualization_support::has_svm());
 			xml.attribute("vmx", Hw::Virtualization_support::has_vmx());
 		});
-		xml.node("tsc", [&]() {
+		xml.node("tsc", [&] {
 			xml.attribute("invariant", Hw::Lapic::invariant_tsc());
 			xml.attribute("freq_khz", Hw::Lapic::tsc_freq());
 		});
diff --git a/repos/base-hw/src/lib/base/capability_slab.cc b/repos/base-hw/src/lib/base/capability_slab.cc
index 0dafd3ca1c..5231d73c83 100644
--- a/repos/base-hw/src/lib/base/capability_slab.cc
+++ b/repos/base-hw/src/lib/base/capability_slab.cc
@@ -56,15 +56,15 @@ void Genode::upgrade_capability_slab()
 	};
 
 	retry<Genode::Out_of_caps>(
-		[&] () {
+		[&] {
 			retry<Genode::Out_of_ram>(
-				[&] () {
+				[&] {
 					native_pd_ptr->upgrade_cap_slab(); },
-				[&] () {
+				[&] {
 					request_resources_from_parent(Ram_quota{8192}, Cap_quota{0});
 				});
 		},
-		[&] () {
+		[&] {
 			request_resources_from_parent(Ram_quota{0}, Cap_quota{2});
 		});
 }
diff --git a/repos/base-hw/src/lib/base/vm.cc b/repos/base-hw/src/lib/base/vm.cc
index d5c7aecd22..e519056b77 100644
--- a/repos/base-hw/src/lib/base/vm.cc
+++ b/repos/base-hw/src/lib/base/vm.cc
@@ -64,7 +64,7 @@ struct Hw_vcpu : Rpc_client<Vm_session::Native_vcpu>, Noncopyable
 Hw_vcpu::Hw_vcpu(Env &env, Vm_connection &vm, Vcpu_handler_base &handler)
 :
 	Rpc_client<Native_vcpu>(_create_vcpu(vm, handler)),
-	_state(env.rm(), vm.with_upgrade([&] () { return call<Rpc_state>(); }))
+	_state(env.rm(), vm.with_upgrade([&] { return call<Rpc_state>(); }))
 {
 	_ep_handler = reinterpret_cast<Thread *>(&handler.rpc_ep());
 	call<Rpc_exception_handler>(handler.signal_cap());
@@ -90,7 +90,7 @@ Capability<Vm_session::Native_vcpu> Hw_vcpu::_create_vcpu(Vm_connection     &vm,
 {
 	Thread &tep { *reinterpret_cast<Thread *>(&handler.rpc_ep()) };
 
-	return vm.with_upgrade([&] () {
+	return vm.with_upgrade([&] {
 		return vm.call<Vm_session::Rpc_create_vcpu>(tep.cap()); });
 }
 
diff --git a/repos/base-hw/src/lib/base/x86_64/vm.cc b/repos/base-hw/src/lib/base/x86_64/vm.cc
index 0687dd4357..eb20d519af 100644
--- a/repos/base-hw/src/lib/base/x86_64/vm.cc
+++ b/repos/base-hw/src/lib/base/x86_64/vm.cc
@@ -66,7 +66,7 @@ struct Hw_vcpu : Rpc_client<Vm_session::Native_vcpu>, Noncopyable
 Hw_vcpu::Hw_vcpu(Env &env, Vm_connection &vm, Vcpu_handler_base &handler)
 :
 	Rpc_client<Native_vcpu>(_create_vcpu(vm, handler)),
-	_state(env.rm(), vm.with_upgrade([&] () { return call<Rpc_state>(); })),
+	_state(env.rm(), vm.with_upgrade([&] { return call<Rpc_state>(); })),
 	_vcpu_handler(handler)
 {
 	static unsigned counter = 0;
@@ -102,7 +102,7 @@ Capability<Vm_session::Native_vcpu> Hw_vcpu::_create_vcpu(Vm_connection     &vm,
 {
 	Thread &tep { *reinterpret_cast<Thread *>(&handler.rpc_ep()) };
 
-	return vm.with_upgrade([&] () {
+	return vm.with_upgrade([&] {
 		return vm.call<Vm_session::Rpc_create_vcpu>(tep.cap()); });
 }
 
diff --git a/repos/base-linux/src/lib/base/native_thread.cc b/repos/base-linux/src/lib/base/native_thread.cc
index 815e0b3902..5936fd7985 100644
--- a/repos/base-linux/src/lib/base/native_thread.cc
+++ b/repos/base-linux/src/lib/base/native_thread.cc
@@ -195,7 +195,7 @@ Native_capability Native_thread::Epoll::alloc_rpc_cap()
 
 	dst.foreign = false;
 
-	_exec_control([&] () { _add(socketpair.local); });
+	_exec_control([&] { _add(socketpair.local); });
 
 	return Capability_space::import(dst, Rpc_obj_key(socketpair.local.value));
 }
@@ -205,5 +205,5 @@ void Native_thread::Epoll::free_rpc_cap(Native_capability cap)
 {
 	int const local_socket = (int)Capability_space::ipc_cap_data(cap).rpc_obj_key.value();
 
-	_exec_control([&] () { _remove(Lx_sd{local_socket}); });
+	_exec_control([&] { _remove(Lx_sd{local_socket}); });
 }
diff --git a/repos/base-nova/src/core/include/nova_util.h b/repos/base-nova/src/core/include/nova_util.h
index 006c0743e6..2736c5466c 100644
--- a/repos/base-nova/src/core/include/nova_util.h
+++ b/repos/base-nova/src/core/include/nova_util.h
@@ -244,7 +244,7 @@ inline Nova::uint8_t async_map(Core::Pager_object &pager,
 	(void)ok;
 
 	return syscall_retry(pager,
-		[&]() {
+		[&] {
 			return Nova::delegate(source_pd, target_pd, target_initial_caps);
 		});
 }
diff --git a/repos/base-nova/src/core/pager.cc b/repos/base-nova/src/core/pager.cc
index 7410f5ff62..1f8c4c7820 100644
--- a/repos/base-nova/src/core/pager.cc
+++ b/repos/base-nova/src/core/pager.cc
@@ -281,7 +281,7 @@ bool Pager_object::_migrate_thread()
 
 		/* syscall to migrate */
 		unsigned const migrate_to = platform_specific().kernel_cpu_id(_location);
-		uint8_t res = syscall_retry(*this, [&]() {
+		uint8_t res = syscall_retry(*this, [&] {
 			return ec_ctrl(EC_MIGRATE, _state.sel_client_ec, migrate_to,
 			               Obj_crd(EC_SEL_THREAD, 0, Obj_crd::RIGHT_EC_RECALL));
 		});
@@ -553,7 +553,7 @@ static uint8_t create_portal(addr_t pt, addr_t pd, addr_t ec, Mtd mtd,
                              addr_t eip, Pager_object * oom_handler)
 {
 	uint8_t res = syscall_retry(*oom_handler,
-		[&]() { return create_pt(pt, pd, ec, mtd, eip); });
+		[&] { return create_pt(pt, pd, ec, mtd, eip); });
 
 	if (res != NOVA_OK)
 		return res;
diff --git a/repos/base-nova/src/core/pd_session_support.cc b/repos/base-nova/src/core/pd_session_support.cc
index e76e939256..248038b390 100644
--- a/repos/base-nova/src/core/pd_session_support.cc
+++ b/repos/base-nova/src/core/pd_session_support.cc
@@ -36,7 +36,7 @@ inline Nova::uint8_t retry_syscall(addr_t pd_sel, auto const &fn)
 
 bool Pd_session_component::assign_pci(addr_t pci_config_memory, uint16_t bdf)
 {
-	return retry_syscall(_pd->pd_sel(), [&]() {
+	return retry_syscall(_pd->pd_sel(), [&] {
 		return Nova::assign_pci(_pd->pd_sel(), pci_config_memory, bdf);
 	}) == Nova::NOVA_OK;
 }
@@ -52,7 +52,7 @@ Pd_session::Map_result Pd_session_component::map(Pd_session::Virt_range const vi
 	auto map_memory = [&] (Mapping const &mapping)
 	{
 		/* asynchronously map memory */
-		uint8_t err = retry_syscall(_pd->pd_sel(), [&]() {
+		uint8_t err = retry_syscall(_pd->pd_sel(), [&] {
 			utcb.set_msg_word(0);
 
 			bool res = utcb.append_item(nova_src_crd(mapping), 0, true, false,
diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc
index f475168a17..927bd657ba 100644
--- a/repos/base-nova/src/core/platform.cc
+++ b/repos/base-nova/src/core/platform.cc
@@ -679,20 +679,20 @@ Core::Platform::Platform()
 
 	export_pages_as_rom_module("platform_info", 1 + (MAX_SUPPORTED_CPUS / 32),
 		[&] (char * const ptr, size_t const size) {
-			Xml_generator xml(ptr, size, "platform_info", [&] ()
+			Xml_generator xml(ptr, size, "platform_info", [&]
 			{
-				xml.node("kernel", [&] () {
+				xml.node("kernel", [&] {
 					xml.attribute("name", "nova");
 					xml.attribute("acpi", true);
 					xml.attribute("msi" , true);
 					xml.attribute("iommu", hip.has_feature_iommu());
 				});
 				if (efi_sys_tab_phy) {
-					xml.node("efi-system-table", [&] () {
+					xml.node("efi-system-table", [&] {
 						xml.attribute("address", String<32>(Hex(efi_sys_tab_phy)));
 					});
 				}
-				xml.node("acpi", [&] () {
+				xml.node("acpi", [&] {
 
 					xml.attribute("revision", 2); /* XXX */
 
@@ -702,18 +702,18 @@ Core::Platform::Platform()
 					if (xsdt)
 						xml.attribute("xsdt", String<32>(Hex(xsdt)));
 				});
-				xml.node("affinity-space", [&] () {
+				xml.node("affinity-space", [&] {
 					xml.attribute("width", _cpus.width());
 					xml.attribute("height", _cpus.height());
 				});
-				xml.node("boot", [&] () {
+				xml.node("boot", [&] {
 					if (!boot_fb)
 						return;
 
 					if (!efi_boot && (Resolution::Type::get(boot_fb->size) != Resolution::Type::VGA_TEXT))
 						return;
 
-					xml.node("framebuffer", [&] () {
+					xml.node("framebuffer", [&] {
 						xml.attribute("phys",   String<32>(Hex(boot_fb->addr)));
 						xml.attribute("width",  Resolution::Width::get(boot_fb->size));
 						xml.attribute("height", Resolution::Height::get(boot_fb->size));
@@ -722,16 +722,16 @@ Core::Platform::Platform()
 						xml.attribute("pitch",  boot_fb->aux);
 					});
 				});
-				xml.node("hardware", [&] () {
-					xml.node("features", [&] () {
+				xml.node("hardware", [&] {
+					xml.node("features", [&] {
 						xml.attribute("svm", hip.has_feature_svm());
 						xml.attribute("vmx", hip.has_feature_vmx());
 					});
-					xml.node("tsc", [&] () {
+					xml.node("tsc", [&] {
 						xml.attribute("invariant", cpuid_invariant_tsc());
 						xml.attribute("freq_khz" , hip.tsc_freq);
 					});
-					xml.node("cpus", [&] () {
+					xml.node("cpus", [&] {
 						for_each_location([&](Affinity::Location &location) {
 							unsigned const kernel_cpu_id = Platform::kernel_cpu_id(location);
 							auto const cpu_ptr = hip.cpu_desc_of_cpu(kernel_cpu_id);
@@ -741,7 +741,7 @@ Core::Platform::Platform()
 
 							auto const &cpu = *cpu_ptr;
 
-							xml.node("cpu", [&] () {
+							xml.node("cpu", [&] {
 								xml.attribute("xpos",     location.xpos());
 								xml.attribute("ypos",     location.ypos());
 								xml.attribute("id",       kernel_cpu_id);
diff --git a/repos/base-nova/src/core/platform_thread.cc b/repos/base-nova/src/core/platform_thread.cc
index 65cc71fc56..5175812aae 100644
--- a/repos/base-nova/src/core/platform_thread.cc
+++ b/repos/base-nova/src/core/platform_thread.cc
@@ -133,7 +133,7 @@ void Platform_thread::start(void *ip, void *sp)
 		}
 
 		uint8_t res = syscall_retry(pager,
-			[&]() {
+			[&] {
 				return create_ec(_sel_ec(), _pd.pd_sel(), kernel_cpu_id,
 				                 utcb_addr, initial_sp, _sel_exc_base,
 				                 !worker());
@@ -209,7 +209,7 @@ void Platform_thread::start(void *ip, void *sp)
 
 	if (res == NOVA_OK) {
 		res = syscall_retry(pager,
-			[&]() {
+			[&] {
 				/* let the thread run */
 				return create_sc(_sel_sc(), _pd.pd_sel(), _sel_ec(),
 				                 Qpd(Qpd::DEFAULT_QUANTUM, _priority));
@@ -257,7 +257,7 @@ void Platform_thread::resume()
 	}
 
 	uint8_t res = syscall_retry(*_pager,
-		[&]() {
+		[&] {
 			return create_sc(_sel_sc(), _pd.pd_sel(), _sel_ec(),
 			                 Qpd(Qpd::DEFAULT_QUANTUM, _priority));
 		});
diff --git a/repos/base-nova/src/lib/base/vm.cc b/repos/base-nova/src/lib/base/vm.cc
index 871ab1e27e..96171cc3bd 100644
--- a/repos/base-nova/src/lib/base/vm.cc
+++ b/repos/base-nova/src/lib/base/vm.cc
@@ -703,7 +703,7 @@ Capability<Vm_session::Native_vcpu> Nova_vcpu::_create_vcpu(Vm_connection     &v
 {
 	Thread &tep { *reinterpret_cast<Thread *>(&handler.rpc_ep()) };
 
-	return vm.with_upgrade([&] () {
+	return vm.with_upgrade([&] {
 		return vm.call<Vm_session::Rpc_create_vcpu>(tep.cap()); });
 }
 
diff --git a/repos/base-okl4/src/core/platform.cc b/repos/base-okl4/src/core/platform.cc
index 5c109b7fff..9f9dca1e91 100644
--- a/repos/base-okl4/src/core/platform.cc
+++ b/repos/base-okl4/src/core/platform.cc
@@ -231,8 +231,8 @@ Core::Platform::Platform()
 						if (map_local(phys_addr, core_local_addr, pages)) {
 
 							Xml_generator xml(reinterpret_cast<char *>(core_local_addr),
-							                  size, "platform_info", [&] () {
-								xml.node("kernel", [&] () { xml.attribute("name", "okl4"); });
+							                  size, "platform_info", [&] {
+								xml.node("kernel", [&] { xml.attribute("name", "okl4"); });
 							});
 
 							new (core_mem_alloc())
diff --git a/repos/base-pistachio/src/core/io_mem_session_support.cc b/repos/base-pistachio/src/core/io_mem_session_support.cc
index fce9d33920..f0763ab1e7 100644
--- a/repos/base-pistachio/src/core/io_mem_session_support.cc
+++ b/repos/base-pistachio/src/core/io_mem_session_support.cc
@@ -60,7 +60,7 @@ addr_t Io_mem_session_component::_map_local(addr_t base, size_t size)
 {
 	using namespace Pistachio;
 
-	auto alloc_virt_range = [&] ()
+	auto alloc_virt_range = [&]
 	{
 		/* special case for the null page */
 		if (is_conventional_memory(base))
diff --git a/repos/base-pistachio/src/core/platform.cc b/repos/base-pistachio/src/core/platform.cc
index 7826d8dc8f..7c7e0c142a 100644
--- a/repos/base-pistachio/src/core/platform.cc
+++ b/repos/base-pistachio/src/core/platform.cc
@@ -630,8 +630,8 @@ Core::Platform::Platform()
 		[&] (void *core_local_ptr, size_t size) {
 			Xml_generator xml(reinterpret_cast<char *>(core_local_ptr),
 			                  size, "platform_info",
-				[&] () {
-					xml.node("kernel", [&] () {
+				[&] {
+					xml.node("kernel", [&] {
 						xml.attribute("name", "pistachio"); }); }); });
 }
 
diff --git a/repos/base-sel4/src/core/platform.cc b/repos/base-sel4/src/core/platform.cc
index 133d0192d9..f6da6d8b24 100644
--- a/repos/base-sel4/src/core/platform.cc
+++ b/repos/base-sel4/src/core/platform.cc
@@ -377,23 +377,23 @@ void Core::Platform::_init_rom_modules()
 
 				tsc_freq const * boot_freq = reinterpret_cast<tsc_freq const *>(reinterpret_cast<addr_t>(element) + sizeof(* element));
 
-				xml.node("kernel", [&] () {
+				xml.node("kernel", [&] {
 					xml.attribute("name", "sel4");
 					xml.attribute("acpi", true);
 				});
-				xml.node("hardware", [&] () {
-					xml.node("features", [&] () {
+				xml.node("hardware", [&] {
+					xml.node("features", [&] {
 						#ifdef CONFIG_VTX
 						xml.attribute("vmx", true);
 						#else
 						xml.attribute("vmx", false);
 						#endif
 					});
-					xml.node("tsc", [&] () {
+					xml.node("tsc", [&] {
 						xml.attribute("freq_khz" , boot_freq->freq_mhz * 1000UL);
 					});
 				});
-				xml.node("affinity-space", [&] () {
+				xml.node("affinity-space", [&] {
 					xml.attribute("width", affinity_space().width());
 					xml.attribute("height", affinity_space().height());
 				});
@@ -416,8 +416,8 @@ void Core::Platform::_init_rom_modules()
 
 				mbi2_framebuffer const * boot_fb = reinterpret_cast<mbi2_framebuffer const *>(reinterpret_cast<addr_t>(element) + sizeof(*element));
 
-				xml.node("boot", [&] () {
-					xml.node("framebuffer", [&] () {
+				xml.node("boot", [&] {
+					xml.node("framebuffer", [&] {
 						xml.attribute("phys",   String<32>(Hex(boot_fb->addr)));
 						xml.attribute("width",  boot_fb->width);
 						xml.attribute("height", boot_fb->height);
@@ -431,7 +431,7 @@ void Core::Platform::_init_rom_modules()
 			if (element->id != SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP)
 				continue;
 
-			xml.node("acpi", [&] () {
+			xml.node("acpi", [&] {
 
 				struct Acpi_rsdp
 				{
@@ -520,7 +520,7 @@ void Core::Platform::_init_rom_modules()
 	};
 
 	export_page_as_rom_module("platform_info", [&] (char *ptr, size_t size) {
-		Xml_generator xml(ptr, size, "platform_info", [&] () {
+		Xml_generator xml(ptr, size, "platform_info", [&] {
 			gen_platform_info(xml); }); });
 
 	export_page_as_rom_module("core_log", [&] (char *ptr, size_t size) {
diff --git a/repos/base-sel4/src/core/spec/x86/vm_session_component.cc b/repos/base-sel4/src/core/spec/x86/vm_session_component.cc
index b0cda8f2e3..510f59cd1f 100644
--- a/repos/base-sel4/src/core/spec/x86/vm_session_component.cc
+++ b/repos/base-sel4/src/core/spec/x86/vm_session_component.cc
@@ -208,7 +208,7 @@ Capability<Vm_session::Native_vcpu> Vm_session_component::create_vcpu(Thread_cap
 			return;
 
 		/* code to revert partial allocations in case of Out_of_ram/_quota */
-		auto free_up = [&] () { if (vcpu) destroy(_heap, vcpu); };
+		auto free_up = [&] { if (vcpu) destroy(_heap, vcpu); };
 
 		try {
 			vcpu = new (_heap) Registered<Vcpu>(_vcpus,
diff --git a/repos/base-sel4/src/lib/base/x86/vm.cc b/repos/base-sel4/src/lib/base/x86/vm.cc
index 85513ed07a..908f96419f 100644
--- a/repos/base-sel4/src/lib/base/x86/vm.cc
+++ b/repos/base-sel4/src/lib/base/x86/vm.cc
@@ -49,7 +49,7 @@ struct Sel4_native_rpc : Rpc_client<Vm_session::Native_vcpu>, Noncopyable
 		Capability<Vm_session::Native_vcpu> _create_vcpu(Vm_connection &vm,
 		                                                 Thread_capability &cap)
 		{
-			return vm.with_upgrade([&] () {
+			return vm.with_upgrade([&] {
 				return vm.call<Vm_session::Rpc_create_vcpu>(cap); });
 		}
 
diff --git a/repos/base/include/base/connection.h b/repos/base/include/base/connection.h
index 3412928e93..1798d84906 100644
--- a/repos/base/include/base/connection.h
+++ b/repos/base/include/base/connection.h
@@ -75,13 +75,13 @@ class Genode::Connection_base : Noncopyable, Interface
 		{
 			enum { UPGRADE_ATTEMPTS = ~0U };
 			return Genode::retry<Out_of_ram>(
-				[&] () {
+				[&] {
 					return Genode::retry<Out_of_caps>(
-						[&] () { return fn(); },
-						[&] () { upgrade_caps(caps.value); },
+						[&] { return fn(); },
+						[&] { upgrade_caps(caps.value); },
 						UPGRADE_ATTEMPTS);
 				},
-				[&] () { upgrade_ram(ram.value); },
+				[&] { upgrade_ram(ram.value); },
 				UPGRADE_ATTEMPTS);
 		}
 };
diff --git a/repos/base/include/cpu/page_table_allocator.h b/repos/base/include/cpu/page_table_allocator.h
index e21d933faa..28309a1d49 100644
--- a/repos/base/include/cpu/page_table_allocator.h
+++ b/repos/base/include/cpu/page_table_allocator.h
@@ -80,8 +80,8 @@ class Genode::Page_table_allocator
 					table.~TABLE();
 					_free((unsigned)(_offset(table) / sizeof(TABLE)));
 				},
-				[&] () {
-				Genode::error("Trying to destruct foreign table at ", Genode::Hex(phys_addr));
+				[&] {
+					Genode::error("Trying to destruct foreign table at ", Genode::Hex(phys_addr));
 				});
 		}
 
diff --git a/repos/base/include/spec/x86_64/page_table/page_table_base.h b/repos/base/include/spec/x86_64/page_table/page_table_base.h
index 37b3df98dc..88ac0a9e5b 100644
--- a/repos/base/include/spec/x86_64/page_table/page_table_base.h
+++ b/repos/base/include/spec/x86_64/page_table/page_table_base.h
@@ -296,7 +296,7 @@ class Genode::Page_directory
 						table.insert_translation(vo - (vo & PAGE_MASK), pa, size,
 						                         flags, alloc, flush, supported_sizes);
 					},
-					[&] () {
+					[&] {
 						error("Unable to get mapped table address for ",
 						      Genode::Hex(Td::Pa::masked(desc)));
 					});
@@ -334,7 +334,7 @@ class Genode::Page_directory
 									desc = 0;
 								}
 							},
-							[&] () {
+							[&] {
 								error("Unable to get mapped table address for ",
 								      Genode::Hex(table_phys));
 							});
@@ -490,7 +490,7 @@ class Genode::Pml4_table
 						table.insert_translation(table_vo, pa, size, flags, alloc,
 						                         flush, supported_sizes);
 					},
-					[&] () {
+					[&] {
 						error("Unable to get mapped table address for ",
 						      Genode::Hex(table_phys));
 					});
@@ -525,7 +525,7 @@ class Genode::Pml4_table
 									clflush(&desc);
 							}
 						},
-						[&] () {
+						[&] {
 							error("Unable to get mapped table address for ",
 							      Genode::Hex(table_phys));
 						});
diff --git a/repos/base/include/util/xml_generator.h b/repos/base/include/util/xml_generator.h
index a6d9182d17..5388657d58 100644
--- a/repos/base/include/util/xml_generator.h
+++ b/repos/base/include/util/xml_generator.h
@@ -307,12 +307,12 @@ class Genode::Xml_generator
 			}
 		}
 
-		void node(char const *name, auto const &fn = [] () { } )
+		void node(char const *name, auto const &fn = [] { } )
 		{
 			Node(*this, name, fn);
 		}
 
-		void node(char const *name) { Node(*this, name, [] () { }); }
+		void node(char const *name) { Node(*this, name, [] { }); }
 
 		void attribute(char const *name, char const *str)
 		{
diff --git a/repos/base/include/vm_session/connection.h b/repos/base/include/vm_session/connection.h
index b138771580..054de982b0 100644
--- a/repos/base/include/vm_session/connection.h
+++ b/repos/base/include/vm_session/connection.h
@@ -108,12 +108,12 @@ struct Genode::Vm_connection : Connection<Vm_session>, Rpc_client<Vm_session>
 	auto with_upgrade(auto const &fn) -> decltype(fn())
 	{
 		return Genode::retry<Genode::Out_of_ram>(
-			[&] () {
+			[&] {
 				return Genode::retry<Genode::Out_of_caps>(
-					[&] () { return fn(); },
-					[&] () { this->upgrade_caps(2); });
+					[&] { return fn(); },
+					[&] { this->upgrade_caps(2); });
 			},
-			[&] () { this->upgrade_ram(4096); }
+			[&] { this->upgrade_ram(4096); }
 		);
 	}
 
@@ -124,7 +124,7 @@ struct Genode::Vm_connection : Connection<Vm_session>, Rpc_client<Vm_session>
 
 	void attach(Dataspace_capability ds, addr_t vm_addr, Attach_attr attr) override
 	{
-		with_upgrade([&] () {
+		with_upgrade([&] {
 			call<Rpc_attach>(ds, vm_addr, attr); });
 	}
 
diff --git a/repos/base/src/include/base/internal/expanding_parent_client.h b/repos/base/src/include/base/internal/expanding_parent_client.h
index fe59a35887..cc1bf9eb1b 100644
--- a/repos/base/src/include/base/internal/expanding_parent_client.h
+++ b/repos/base/src/include/base/internal/expanding_parent_client.h
@@ -151,15 +151,15 @@ class Genode::Expanding_parent_client : public Parent_client
 			using Arg = String<64>;
 
 			return retry<Out_of_ram>(
-				[&] () {
+				[&] {
 					return retry<Out_of_caps>(
-						[&] () { return Parent_client::upgrade(id, args); },
-						[&] () {
+						[&] { return Parent_client::upgrade(id, args); },
+						[&] {
 							Arg cap_arg("cap_quota=", amount.cap_quota);
 							resource_request(Resource_args(cap_arg.string()));
 						});
 				},
-				[&] () {
+				[&] {
 					Arg ram_arg("ram_quota=", amount.ram_quota);
 					resource_request(Resource_args(ram_arg.string()));
 				});
diff --git a/repos/base/src/lib/base/allocator_avl.cc b/repos/base/src/lib/base/allocator_avl.cc
index b5b9998a3e..fdddc66c4d 100644
--- a/repos/base/src/lib/base/allocator_avl.cc
+++ b/repos/base/src/lib/base/allocator_avl.cc
@@ -195,7 +195,7 @@ bool Allocator_avl_base::_revert_block_ranges(auto const &any_block_fn)
 
 bool Allocator_avl_base::_revert_unused_ranges()
 {
-	return _revert_block_ranges([&] () {
+	return _revert_block_ranges([&] {
 		return _find_any_unused_block(_addr_tree.first()); });
 }
 
@@ -218,7 +218,7 @@ void Allocator_avl_base::_revert_allocations_and_ranges()
 		        " at allocator destruction time");
 
 	/* destroy all remaining blocks */
-	_revert_block_ranges([&] () { return _addr_tree.first(); });
+	_revert_block_ranges([&] { return _addr_tree.first(); });
 }
 
 
diff --git a/repos/base/src/lib/base/session_state.cc b/repos/base/src/lib/base/session_state.cc
index 9e775bdef2..bf0184df93 100644
--- a/repos/base/src/lib/base/session_state.cc
+++ b/repos/base/src/lib/base/session_state.cc
@@ -63,19 +63,19 @@ void Session_state::generate_session_request(Xml_generator &xml) const
 
 	case CREATE_REQUESTED:
 
-		xml.node("create", [&] () {
+		xml.node("create", [&] {
 			xml.attribute("id", id_at_server->id().value);
 			xml.attribute("service", _service.name());
 			xml.attribute("label", _label);
-			xml.node("args", [&] () {
+			xml.node("args", [&] {
 				xml.append_sanitized(Server_args(*this).string());
 			});
-			xml.node("affinity", [&] () {
-				xml.node("space", [&] () {
+			xml.node("affinity", [&] {
+				xml.node("space", [&] {
 					xml.attribute("width",  _affinity.space().width());
 					xml.attribute("height", _affinity.space().height());
 				});
-				xml.node("location", [&] () {
+				xml.node("location", [&] {
 					xml.attribute("xpos",   _affinity.location().xpos());
 					xml.attribute("ypos",   _affinity.location().ypos());
 					xml.attribute("width",  _affinity.location().width());
@@ -87,7 +87,7 @@ void Session_state::generate_session_request(Xml_generator &xml) const
 
 	case UPGRADE_REQUESTED:
 
-		xml.node("upgrade", [&] () {
+		xml.node("upgrade", [&] {
 			xml.attribute("id", id_at_server->id().value);
 			xml.attribute("ram_quota", ram_upgrade.value);
 			xml.attribute("cap_quota", cap_upgrade.value);
@@ -96,7 +96,7 @@ void Session_state::generate_session_request(Xml_generator &xml) const
 
 	case CLOSE_REQUESTED:
 
-		xml.node("close", [&] () {
+		xml.node("close", [&] {
 			xml.attribute("id", id_at_server->id().value); });
 		break;
 
@@ -120,7 +120,7 @@ void Session_state::generate_client_side_info(Xml_generator &xml, Detail detail)
 	xml.attribute("caps", String<32>(_donated_cap_quota));
 
 	if (detail.args == Detail::ARGS)
-		xml.node("args", [&] () { xml.append_sanitized(_args.string()); });
+		xml.node("args", [&] { xml.append_sanitized(_args.string()); });
 }
 
 
diff --git a/repos/base/src/lib/base/trace_buffer.cc b/repos/base/src/lib/base/trace_buffer.cc
index e17ad9745b..30fbe37148 100644
--- a/repos/base/src/lib/base/trace_buffer.cc
+++ b/repos/base/src/lib/base/trace_buffer.cc
@@ -110,4 +110,4 @@ char *Trace::Partitioned_buffer::reserve(size_t len)
 
 
 void Trace::Partitioned_buffer::commit(size_t len) {
-	_producer()._commit(len, [&] () { _switch_producer(); }); }
+	_producer()._commit(len, [&] { _switch_producer(); }); }
diff --git a/repos/base/src/test/registry/main.cc b/repos/base/src/test/registry/main.cc
index fe519cf817..a4806e8a55 100644
--- a/repos/base/src/test/registry/main.cc
+++ b/repos/base/src/test/registry/main.cc
@@ -48,7 +48,7 @@ static void test_exception_during_for_each()
 	Registered<Item> second(items, "second");
 	Registered<Item> third (items, "third");
 
-	auto num_items = [&] () {
+	auto num_items = [&] {
 		unsigned cnt = 0;
 		items.for_each([&] (Item &) { cnt++; });
 		return cnt;
diff --git a/repos/base/src/test/xml_generator/main.cc b/repos/base/src/test/xml_generator/main.cc
index f6004df19b..dfdf729bbd 100644
--- a/repos/base/src/test/xml_generator/main.cc
+++ b/repos/base/src/test/xml_generator/main.cc
@@ -26,32 +26,32 @@ static size_t fill_buffer_with_xml(char *dst, size_t dst_len)
 		xml.attribute("xpos", "27");
 		xml.attribute("ypos", "34");
 
-		xml.node("box", [&]()
+		xml.node("box", [&]
 		{
 			xml.attribute("width",  "320");
 			xml.attribute("height", "240");
 		});
-		xml.node("label", [&] ()
+		xml.node("label", [&]
 		{
 			xml.attribute("name", "a test");
 			xml.node("sub_label");
-			xml.node("another_sub_label", [&] ()
+			xml.node("another_sub_label", [&]
 			{
 				xml.node("sub_sub_label");
 			});
 		});
-		xml.node("bool", [&] ()
+		xml.node("bool", [&]
 		{
 			xml.attribute("true",  true);
 			xml.attribute("false", false);
 		});
-		xml.node("signed", [&] ()
+		xml.node("signed", [&]
 		{
 			xml.attribute("int",      -1);
 			xml.attribute("long",     -2L);
 			xml.attribute("longlong", -3LL);
 		});
-		xml.node("unsigned", [&] ()
+		xml.node("unsigned", [&]
 		{
 			xml.attribute("int",      1U);
 			xml.attribute("long",     2UL);
@@ -67,61 +67,61 @@ static size_t xml_with_exceptions(char *dst, size_t dst_len)
 {
 	Genode::Xml_generator xml(dst, dst_len, "config", [&]
 	{
-		xml.node("level1", [&] ()
+		xml.node("level1", [&]
 		{
-			xml.node("level2", [&] ()
+			xml.node("level2", [&]
 			{
 				xml.attribute("attr1", 0x87654321ULL);
 				for (unsigned i=0; i < 3; i++) {
 					try {
-						xml.node("level3_exception", [&] ()
+						xml.node("level3_exception", [&]
 						{
 							xml.attribute("attr1", 1234);
 							xml.attribute("attr2", 4321);
 							xml.attribute("attr3", 2143);
-							xml.node("level4_exception", [&] ()
+							xml.node("level4_exception", [&]
 							{
 								xml.attribute("attr1", "Hallo");
-								xml.node("level5_exception_1", [&] ()
+								xml.node("level5_exception_1", [&]
 								{
 									xml.attribute("attr1", true);
 									xml.attribute("attr2", false);
 								});
-								xml.node("level5_exception_2", [&] () { });
+								xml.node("level5_exception_2", [&] { });
 								throw 10 + i;
 							});
 						});
 					} catch (unsigned error) {
 						Genode::log("exception with value ", error, " on level 4 (expected error)");
 					}
-					xml.node("level3", [&] ()
+					xml.node("level3", [&]
 					{
 						xml.attribute("attr1", "Hallo");
 						xml.attribute("attr2", 123000 + i);
-						xml.node("level4_1", [&] () {
+						xml.node("level4_1", [&] {
 							xml.attribute("attr1", true);
 							xml.attribute("attr2", "Welt");
 						});
 						try {
-							xml.node("level4_exception", [&] ()
+							xml.node("level4_exception", [&]
 							{
 								xml.attribute("attr1", "Welt");
 								xml.attribute("attr2", 2143);
 								xml.attribute("attr3", false);
 								xml.attribute("attr3", 0x12345678ULL);
-								xml.node("level5_exception_1", [&] () { });
-								xml.node("level5_exception_2", [&] () { });
-								xml.node("level5_exception_3", [&] ()
+								xml.node("level5_exception_1", [&] { });
+								xml.node("level5_exception_2", [&] { });
+								xml.node("level5_exception_3", [&]
 								{
-									xml.node("level6_exception", [&] ()
+									xml.node("level6_exception", [&]
 									{
 										xml.attribute("attr1", 0x12345678ULL);
-										xml.node("level7_exception_3", [&] ()
+										xml.node("level7_exception_3", [&]
 										{
-											xml.node("level8_exception_1", [&] () { });
-											xml.node("level8_exception_2", [&] () { });
-											xml.node("level8_exception_3", [&] () { });
-											xml.node("level8_exception_4", [&] ()
+											xml.node("level8_exception_1", [&] { });
+											xml.node("level8_exception_2", [&] { });
+											xml.node("level8_exception_3", [&] { });
+											xml.node("level8_exception_4", [&]
 											{
 												throw 20 + i;
 											});
@@ -132,9 +132,9 @@ static size_t xml_with_exceptions(char *dst, size_t dst_len)
 						} catch (unsigned error) {
 							Genode::log("exception with value ", error, " on level 8 (expected error)");
 						}
-						xml.node("level4_2", [&] () { });
+						xml.node("level4_2", [&] { });
 						try {
-							xml.node("level4_exception", [&] ()
+							xml.node("level4_exception", [&]
 							{
 								xml.attribute("attr1", "Welt");
 								xml.attribute("attr2", 2143);
@@ -147,7 +147,7 @@ static size_t xml_with_exceptions(char *dst, size_t dst_len)
 				}
 			});
 			try {
-				xml.node("level2_exception", [&] ()
+				xml.node("level2_exception", [&]
 				{
 					throw 40;
 				});
@@ -205,7 +205,7 @@ void Component::construct(Genode::Env &env)
 			pattern[i] = (char)i;
 
 		/* generate XML with the pattern as content */
-		Xml_generator xml(dst, sizeof(dst), "data", [&] () {
+		Xml_generator xml(dst, sizeof(dst), "data", [&] {
 			xml.append_sanitized(pattern, sizeof(pattern)); });
 
 		/* parse the generated XML data */
@@ -230,7 +230,7 @@ void Component::construct(Genode::Env &env)
 	 * Test arbitrary content
 	 */
 	{
-		Xml_generator xml(dst, sizeof(dst), "data", [&] () {
+		Xml_generator xml(dst, sizeof(dst), "data", [&] {
 			xml.append_content(" ", 2 + 2, " == 2 + 2 == ", 4.0, " ");
 		});