akaros/kern/arch/x86/ros/arch.h
<<
>>
Prefs
   1#pragma once
   2
   3#define MAX_NUM_CORES                           255
   4