. so that memory of such regions can be deallocated in any order Change-Id: I34013d6085cf19a482412cf9bed6b7f96e60e1e6
This concerns all services, a.k.a drivers, filesystem drivers, network (inet, lwip, uds) servers, and the system servers. Change-Id: I626fd15c795e15af42df2d10d47fb4a703665d63
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9