Iurii Zamiatin RiscInside
RiscInside
/ gdt.c
Created
July 12, 2020 18:16
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <amd64/gdt.h> | |
| #include <amd64/tss.h> | |
| #include <memory/bdalloc.h> | |
| #include <smp/percpu.h> | |
| #define GDT_ENTRIES 7 | |
| struct gdt { | |
| uint64_t entries[GDT_ENTRIES]; | |
| struct gdt_pointer { |
RiscInside
/ isr.asm
Created
July 17, 2020 12:51
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /*...*/ | |
| section .data | |
| global syscall_count | |
| syscall_count equ ((syscall_table.end - syscall_table) / 8) | |
| /*...*/ | |
| extern syscall_execute_bytecode | |
| dq syscall_execute_bytecode ;44 |
RiscInside
/ Tiny.lean
Last active
December 19, 2022 11:46
Tiny lambda calculus extended with Fix combinators, unit, pair, and sum values
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- One argument operations with strict evaluation strategy | |
| inductive UnOp : Type := | |
| | ufst : UnOp -- first element of the pair | |
| | usnd : UnOp -- second element of the pair | |
| | umkl : UnOp -- left constructor of either type | |
| | umkr : UnOp -- right constructor of either type | |
| deriving DecidableEq | |
| open UnOp |