16 lines
281 B
C++
16 lines
281 B
C++
|
|
||
|
|
#include <cpu_session_component.h>
|
||
|
|
#include <pistachio/kip.h>
|
||
|
|
|
||
|
|
using namespace Genode;
|
||
|
|
using namespace Pistachio;
|
||
|
|
|
||
|
|
// unsigned int Cpu_session_component::available_cpus()
|
||
|
|
// {
|
||
|
|
// if (_pinned_cpu == -1)
|
||
|
|
// return L4_NumProcessors(get_kip());
|
||
|
|
// else
|
||
|
|
// return 1;
|
||
|
|
// }
|
||
|
|
|