Aller au code source de ce fichier.
◆ MANUX_ADRESSE_BIOS
| #define MANUX_ADRESSE_BIOS 0x80000 |
◆ MANUX_ADRESSE_ECRAN
| #define MANUX_ADRESSE_ECRAN 0xb8000 |
◆ MANUX_ADRESSE_GDT
| #define MANUX_ADRESSE_GDT 0x2000 |
◆ MANUX_ADRESSE_IDT
| #define MANUX_ADRESSE_IDT 0x1000 |
◆ MANUX_AFFECTATION_PAGES
| #define MANUX_AFFECTATION_PAGES 0x3000 |
◆ MANUX_ARCH
◆ MANUX_ATOMIQUE
◆ MANUX_ATOMIQUE_AUDIT
| #define MANUX_ATOMIQUE_AUDIT |
◆ MANUX_BASCULER_NOUVELLE_CONSOLE
| #define MANUX_BASCULER_NOUVELLE_CONSOLE |
◆ MANUX_BIOS_NB_PAGES
| #define MANUX_BIOS_NB_PAGES 0x80 |
◆ MANUX_BOOT_START_ADDRESS
| #define MANUX_BOOT_START_ADDRESS 0x7c00 |
◆ MANUX_BOOTLOADER
◆ MANUX_BUFFER_RESEAU
| #define MANUX_BUFFER_RESEAU |
◆ MANUX_CLAVIER
◆ MANUX_CLAVIER_CONSOLE
| #define MANUX_CLAVIER_CONSOLE |
◆ MANUX_CONDITION
◆ MANUX_CONDITION_AUDIT
| #define MANUX_CONDITION_AUDIT |
◆ MANUX_CONFIG
◆ MANUX_CONSOLE
◆ MANUX_CONSOLE_MAJEUR
| #define MANUX_CONSOLE_MAJEUR 0 |
◆ MANUX_CONSOLES_VIRTUELLES
| #define MANUX_CONSOLES_VIRTUELLES |
◆ MANUX_COULEUR_FOND
◆ MANUX_COULEUR_TEXTE
◆ MANUX_DUMMY_TASK
◆ MANUX_ELF_HEADER_SIZE
| #define MANUX_ELF_HEADER_SIZE 0x80 |
◆ MANUX_EXCLUSION_MUTUELLE
| #define MANUX_EXCLUSION_MUTUELLE |
◆ MANUX_EXCLUSION_MUTUELLE_AUDIT
| #define MANUX_EXCLUSION_MUTUELLE_AUDIT |
◆ MANUX_FICHIER_MAIN
| #define MANUX_FICHIER_MAIN main-virtio-net |
◆ MANUX_FREQUENCE_HORLOGE
| #define MANUX_FREQUENCE_HORLOGE 100 |
◆ MANUX_GDT_NB_PAGES
| #define MANUX_GDT_NB_PAGES 1 |
◆ MANUX_GESTION_MEMOIRE
| #define MANUX_GESTION_MEMOIRE |
◆ MANUX_HANDLER_IRQ
◆ MANUX_IDT_NB_PAGES
| #define MANUX_IDT_NB_PAGES 1 |
◆ MANUX_INIT_MAGIC
| #define MANUX_INIT_MAGIC 0x01c0ffee |
◆ MANUX_INIT_START_ADDRESS
| #define MANUX_INIT_START_ADDRESS 0x7e00 |
◆ MANUX_INT_AUDIT
◆ MANUX_INT_BASE_IRQ
◆ MANUX_KERNEL_START_ADDRESS
| #define MANUX_KERNEL_START_ADDRESS 0x10000 |
◆ MANUX_KMALLOC
◆ MANUX_KMALLOC_STAT
| #define MANUX_KMALLOC_STAT |
◆ MANUX_LIBI386
◆ MANUX_NB_CYCLES_CALIBRAGE
◆ MANUX_NB_EXCEPTIONS
| #define MANUX_NB_EXCEPTIONS 32 |
◆ MANUX_NB_HANDLER_PAR_IRQ
| #define MANUX_NB_HANDLER_PAR_IRQ 4 |
◆ MANUX_NB_INTERRUPTIONS
| #define MANUX_NB_INTERRUPTIONS 256 |
◆ MANUX_NB_IRQ
◆ MANUX_NB_MAX_EQUIPEMENTS_PCI
| #define MANUX_NB_MAX_EQUIPEMENTS_PCI 32 |
◆ MANUX_NB_SECT_INIT
| #define MANUX_NB_SECT_INIT 0x02 |
◆ MANUX_NOMBRE_PAGES_SYSTEME
| #define MANUX_NOMBRE_PAGES_SYSTEME 0x800 |
◆ MANUX_PAGINATION
◆ MANUX_PCI
◆ MANUX_PIC
| #define MANUX_PIC INTEL_8259A |
◆ MANUX_PIC_INIT
◆ MANUX_PREEMPTIF
◆ MANUX_PRINTK
◆ MANUX_REENTRANT
◆ MANUX_RESEAU
◆ MANUX_STACK_SEG_16
| #define MANUX_STACK_SEG_16 0x9000 |
◆ MANUX_STDLIB
◆ MANUX_SYNCHRONISATION
| #define MANUX_SYNCHRONISATION |
◆ MANUX_TACHE_CONSOLE
| #define MANUX_TACHE_CONSOLE |
◆ MANUX_TACHES
◆ MANUX_TAILLE_PAGE
| #define MANUX_TAILLE_PAGE 0x1000 |
◆ MANUX_TAILLE_PILE
| #define MANUX_TAILLE_PILE 16384 |
◆ MANUX_VIRTIO
◆ MANUX_VIRTIO_AUDIT
| #define MANUX_VIRTIO_AUDIT |
◆ MANUX_VIRTIO_CONSOLE_MAJEUR
| #define MANUX_VIRTIO_CONSOLE_MAJEUR 1 |
◆ MANUX_VIRTIO_NET