ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
bc24a21658
genode/base-hw/lib/mk
History
Martin Stein bc24a21658 base-hw: embed kernel space into platform thread 
Instead of allocating and freeing the space that is needed for the
kernel thread objects from core, wich is not convenient with the
quota system, platform thread now holds the space as array by
itself.

Unfortunately we cannot measure the space size by a static function
anymore, so kernel thread had to be moved from kernel.cc into its
own header. This way platform thread can use sizeof().

Fix #543
2012-11-30 16:23:16 +01:00
..
arm Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
arm_v6 Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
arm_v7 Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
platform_imx31 Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
platform_panda Merge panda_a2 and panda SPEC (fix #505, fix #506) 2012-11-23 12:20:27 +01:00
platform_pbxa9 Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
platform_vea9x4 base-hw: implement vm_session for TrustZone 2012-10-29 10:08:30 +01:00
trustzone Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
core_support.inc base-hw: embed kernel space into platform thread 2012-11-30 16:23:16 +01:00
ipc.mk Run Genode directly on hardware with 'base-hw'. 2012-08-03 12:06:37 +02:00
lock.mk Run Genode directly on hardware with 'base-hw'. 2012-08-03 12:06:37 +02:00
pager.mk Run Genode directly on hardware with 'base-hw'. 2012-08-03 12:06:37 +02:00
raw_ipc.mk Run Genode directly on hardware with 'base-hw'. 2012-08-03 12:06:37 +02:00
raw_signal.mk Run Genode directly on hardware with 'base-hw'. 2012-08-03 12:06:37 +02:00
signal.mk Run Genode directly on hardware with 'base-hw'. 2012-08-03 12:06:37 +02:00
thread.mk Run Genode directly on hardware with 'base-hw'. 2012-08-03 12:06:37 +02:00
vea9x4_core_support.mk Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
vea9x4_platform_support.mk base-hw: implement vm_session for TrustZone 2012-10-29 10:08:30 +01:00