2 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3 * Alexander Warg <warg@os.inf.tu-dresden.de>
4 * economic rights: Technische Universität Dresden (Germany)
6 * This file is part of TUD:OS and distributed under the terms of the
7 * GNU General Public License 2.
8 * Please see the COPYING-GPL-2 file for details.
13 using L4Re::Dataspace;
17 App_task::op_signal(L4Re::Parent::Rights, unsigned long sig, unsigned long val)
23 object_pool.cap_alloc()->free(obj_cap());
25 L4::cout << "MOE: task " << this << " exited with " << val
36 : _task(L4::Cap<L4::Task>::Invalid),
37 _thread(L4::Cap<L4::Thread>::Invalid),
38 _alloc(Allocator::root_allocator()),
39 _rm(_alloc->make_obj<Region_map>())
41 auto c = object_pool.cap_alloc()->alloc(_rm.get());
50 object_pool.cap_alloc()->free(_thread);
51 object_pool.cap_alloc()->free(_task);