2018-12-20 18:03:39 +01:00
|
|
|
//----------------------------------------------------------------------------//
|
|
|
|
// GNU GPL OS/K //
|
|
|
|
// //
|
2019-02-16 23:36:33 +01:00
|
|
|
// Desc: Global variables //
|
2018-12-20 18:03:39 +01:00
|
|
|
// //
|
2019-02-16 23:36:33 +01:00
|
|
|
// //
|
2020-02-06 14:23:26 +01:00
|
|
|
// Copyright © 2018-2020 The OS/K Team //
|
2019-02-16 23:36:33 +01:00
|
|
|
// //
|
|
|
|
// This file is part of OS/K. //
|
|
|
|
// //
|
|
|
|
// OS/K is free software: you can redistribute it and/or modify //
|
|
|
|
// it under the terms of the GNU General Public License as published by //
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or //
|
|
|
|
// any later version. //
|
|
|
|
// //
|
|
|
|
// OS/K is distributed in the hope that it will be useful, //
|
|
|
|
// but WITHOUT ANY WARRANTY//without even the implied warranty of //
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the //
|
|
|
|
// GNU General Public License for more details. //
|
|
|
|
// //
|
|
|
|
// You should have received a copy of the GNU General Public License //
|
|
|
|
// along with OS/K. If not, see <https://www.gnu.org/licenses/>. //
|
2018-12-20 18:03:39 +01:00
|
|
|
//----------------------------------------------------------------------------//
|
|
|
|
|
2019-05-13 23:22:27 +02:00
|
|
|
#include <init/boot.h>
|
2018-12-20 18:03:39 +01:00
|
|
|
|
2019-04-05 10:20:10 +02:00
|
|
|
int KeCPUCount = 1;
|
2019-05-13 20:34:41 +02:00
|
|
|
CpuCore_t _KeCPUTable[NCPUS] = {0};
|
2018-12-20 18:03:39 +01:00
|
|
|
|
2019-04-05 10:20:10 +02:00
|
|
|
volatile BootInfo_t BtBootTab = {0};
|
|
|
|
volatile bool KeIsPanicking = 0;
|
2019-03-19 14:03:13 +01:00
|
|
|
|
2019-05-09 21:57:54 +02:00
|
|
|
volatile CpuCore_t *KeCurCPU = &_KeCPUTable[0];
|
2019-05-22 19:41:00 +02:00
|
|
|
volatile CpuInfo_t CpuInfo = { 0 };
|
2019-04-24 00:05:03 +02:00
|
|
|
|