CuBit:SPARKAda中用于x86-64的通用，经过正式验证的64位操作系统
需积分: 10 149 浏览量
2021-03-21
13:17:28
上传
评论
收藏 277KB ZIP 举报
CuBit:SPARKAda中用于x86-64的通用，经过正式验证的64位操作系统 （149个子文件） 
ada_object_path 7B ada_source_path 11B lapic.adb 29KB kmain.adb 28KB cpuid.adb 26KB ata.adb 24KB process.adb 23KB virtmem.adb 20KB buddyallocator.adb 20KB interrupt.adb 19KB filesystem-ext2.adb 18KB acpi.adb 17KB x86.adb 16KB mem_mgr.adb 13KB textmode.adb 12KB bootallocator.adb 11KB pci.adb 11KB util.adb 9KB percpudata.adb 8KB s-secsta.adb 8KB linkedlist.adb 7KB slaballocator.adb 6KB serial.adb 6KB filecache.adb 6KB scheduler.adb 5KB a-tags.adb 5KB s-stoele.adb 5KB pic.adb 5KB a-except.adb 4KB syscall.adb 4KB s-imglli.adb 4KB s-imgint.adb 4KB strings.adb 4KB s-imgllu.adb 3KB s-imguns.adb 3KB a-assert.adb 3KB time.adb 3KB s-imgboo.adb 3KB s-assert.adb 3KB s-atacco.adb 3KB multiboot.adb 2KB ioapic.adb 2KB spinlock.adb 2KB cmos.adb 2KB keyboard.adb 2KB timer_pit.adb 2KB last_chance_handler.adb 1KB debug.adb 1001B blockdevice.adb 545B filesystem-xfs.adb 226B gnat.adc 1KB ata.ads 44KB cpuid.ads 39KB acpi.ads 33KB x86.ads 31KB filesystem-ext2.ads 27KB virtmem.ads 26KB a-chlat1.ads 18KB serial.ads 14KB pci.ads 14KB process.ads 13KB bootallocator.ads 13KB a-tags.ads 13KB buddyallocator.ads 13KB interrupt.ads 12KB textmode.ads 11KB multiboot.ads 10KB slaballocator.ads 10KB segment.ads 9KB s-unstyp.ads 9KB system.ads 8KB util.ads 8KB s-secsta.ads 8KB mem_mgr.ads 7KB cmos.ads 7KB interfac.ads 7KB linkedlist.ads 6KB s-bb.ads 6KB s-stoele.ads 6KB g-souinf.ads 6KB s-maccod.ads 5KB percpudata.ads 5KB pic.ads 5KB filecache.ads 5KB i-c.ads 5KB s-parame.ads 4KB syscall.ads 4KB a-except.ads 4KB timer_pit.ads 4KB a-assert.ads 4KB s-atacco.ads 4KB ioapic.ads 4KB s-imgllu.ads 4KB s-imguns.ads 3KB s-imglli.ads 3KB s-imgint.ads 3KB gnat.ads 3KB lapic.ads 3KB interruptnumbers.ads 3KB s-assert.ads 3KB共 149 条
- 1
- 2
资源评论
