Commit Graph

220 Commits

Author SHA1 Message Date
Berkus Decker 910ce22a7c [del] ignore ide files 2021-01-27 19:20:39 +02:00
Berkus Decker deabc2ae70 [wip] api messing 2021-01-27 19:19:36 +02:00
Berkus Decker f842a467e4 [wip:explore/interrupts] Interrupt controller defs from DTB 2021-01-27 19:19:36 +02:00
Berkus Decker 94789e7979 [wip] make it compile 2021-01-27 19:19:36 +02:00
Berkus Decker b594552f23 [wip] compile fixes -- to split 2021-01-27 19:19:36 +02:00
Berkus Decker 0e1c0e45f7 [wip] Wrap scheduler-related calls in struct Scheduler for now, pending actual mod scope 2021-01-27 19:19:36 +02:00
Berkus Decker d3c02f0f5b Add user-space support library 2021-01-27 19:19:36 +02:00
Berkus Decker dd6f186623 [wip] syscalls 2021-01-27 19:19:36 +02:00
Berkus Decker 7e71ff1787 [del] sq improve long hex constants 2021-01-27 19:19:36 +02:00
Berkus Decker f28c4a6440 [wip] start kernel API/ABI for syscalls 2021-01-27 19:18:58 +02:00
Berkus Decker 0dd7aeb44c [wip] refactoring thread cap api 2021-01-27 19:18:58 +02:00
Berkus Decker 8d8a1c819a [sq] add Page caps implementations 2021-01-27 19:18:58 +02:00
Berkus Decker abc84ec6aa [del] Add ASID type 2021-01-27 19:18:58 +02:00
Berkus Decker 0fa4f3bc4e [sq] Fix copyrights 2021-01-27 19:16:49 +02:00
Berkus Decker dda2c2a4ca [wip] captable 2021-01-27 19:16:49 +02:00
Berkus Decker e24c3aaca5 [sq] add missing license 2021-01-27 19:16:49 +02:00
Berkus Decker f0f35ce1ed [wip] shadow kernel boot code 2021-01-27 19:16:49 +02:00
Berkus Decker bc31a43f82 [wip] add resolve_address_bits() 2021-01-27 19:16:49 +02:00
Berkus Decker 4cc40be9eb sq imports 2021-01-27 19:16:49 +02:00
Berkus Decker e04ea59019 [wip] Add dummy cache module
Needs CLIDR_EL1 implementantion in cortex-a first
2021-01-27 19:16:49 +02:00
Berkus Decker 3940352be1 [wip] Split kernel objects by type into actual entities 2021-01-27 19:16:49 +02:00
Berkus Decker 5f7ecca625 wip code review 2021-01-27 19:16:49 +02:00
Berkus Decker fa91a108fd fix typo 2021-01-27 19:16:49 +02:00
Berkus Decker 91f9c2c215 wip add specific types 2021-01-27 19:16:49 +02:00
Berkus Decker d8de631b44 sq DerivationTree comment update 2021-01-27 19:16:49 +02:00
Berkus Decker 8f54e179c1 sq fix captable imports 2021-01-27 19:16:49 +02:00
Berkus Decker 99a0cac3db [del] sq fix PhysAddr test 2021-01-27 19:16:49 +02:00
Berkus Decker 5ba79d78fd wip impl thread_capability 2021-01-27 19:15:57 +02:00
Berkus Decker d04739312c Move caps fields around for more logical arrangement
And allowing easier bitmatch-ing for Type.
2021-01-27 19:15:57 +02:00
Berkus Decker b0bbff20bd [TEMP] make type Copy but we prolly shouldn't - REVISE 2021-01-27 19:15:57 +02:00
Berkus Decker 74730117f2 [del] Split addr module 2021-01-27 19:15:57 +02:00
Berkus Decker 9638ddbb3e [del] Implement additions for PhysAddr 2021-01-27 19:15:13 +02:00
Berkus Decker 8dc3586b55 wip comment out some code 2021-01-27 19:14:05 +02:00
Berkus Decker caa1929a0f Refactor: move all caps to their appropriate modules and files 2021-01-27 19:14:05 +02:00
Berkus Decker 57ae94847d sq update untyped 2021-01-27 19:14:05 +02:00
Berkus Decker b6852b46a5 wip move capnode cap impl 2021-01-27 19:14:05 +02:00
Berkus Decker 5b59eff974 wip documentation 2021-01-27 19:14:05 +02:00
Berkus Decker 25f6fc0e98 wip split arm and generic caps 2021-01-27 19:14:05 +02:00
Berkus Decker 6e6e82f466 sq move null cap 2021-01-27 19:14:05 +02:00
Berkus Decker d129db345f wip derivation node 2021-01-27 19:14:05 +02:00
Berkus Decker 6de2ef38a7 wip caps 2021-01-27 19:14:05 +02:00
Berkus Decker d4b92b106a Update deps versions 2021-01-27 19:14:05 +02:00
Berkus Decker 42f0efcba9 [wip] caps work 2021-01-27 19:14:05 +02:00
Berkus Decker babd5caaab [wip] caps doc 2021-01-27 19:14:05 +02:00
Berkus Decker 4616dfee86 [del] Update rust-toolchain file for new rustup
Rustup since version 1.23.0 supports more detailed specification.
2021-01-27 19:14:05 +02:00
Berkus Decker a01445d0da [wip] ponder at gats 2021-01-27 19:12:55 +02:00
Berkus Decker 4979e82a12 [sq] add one more test that shouldn't compile 2021-01-27 19:12:55 +02:00
Berkus Decker 6cef160595 [wip] comment update 2021-01-27 19:12:55 +02:00
Berkus Decker aad25145bd [sq] Debug derivation node 2021-01-27 19:12:55 +02:00
Berkus Decker c94871fa46 [sq] add more untyped accessors 2021-01-27 19:12:55 +02:00