Reto Buerki ed54bb2724 hw_x86_64_muen: Adjust _ram_regions function ... The available RAM region starts at 25 MiB, not 2 MiB. Also, increase the region size to 256 MiB.		2016-02-26 11:36:53 +01:00
..
kernel	hw: re-implement lazy FPU context switch	2016-01-26 16:20:38 +01:00
musinfo.h	hw_x86_64: use 'muen' SPEC to implement aspect	2015-08-31 09:09:22 +02:00
platform_support.cc	hw_x86_64_muen: Adjust _ram_regions function	2016-02-26 11:36:53 +01:00
sinfo.cc	hw_x86_64: use 'muen' SPEC to implement aspect	2015-08-31 09:09:22 +02:00