
#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;
// }

