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 |
|
Berkus Decker
|
afe6510fae
|
[sq] optimize derivation node fields
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
8e7e652a76
|
[sq] rename derivation_node
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
f796788ed5
|
[del] ignore tock-registers tests
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
0aceb8fc27
|
[wip] implement cap_table and some tests
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
b66a64fe58
|
[sq] update doc-comments
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
d2982e56ff
|
[sq] Update for new macros accepting trailing comma
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
eb0aed1730
|
[wip] Untyped cap
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
fc6fa7105a
|
[wip] kernel objs
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
591292c186
|
[del] Print test names in test_runner
Based on os.phil-opp.com Testing chapter.
|
2021-01-27 19:12:55 +02:00 |
|
Berkus Decker
|
e694c33c61
|
[del] add documentation target
|
2021-01-27 19:12:20 +02:00 |
|
Berkus Decker
|
145006b400
|
wip caps
|
2020-12-29 19:26:40 +02:00 |
|
Berkus Decker
|
eabc36845a
|
wip objs
|
2020-12-29 19:26:40 +02:00 |
|
Berkus Decker
|
f4000966b3
|
[sq] fix typo
|
2020-12-29 19:26:40 +02:00 |
|
Berkus Decker
|
8b0468a995
|
[wip] bump dependencies
|
2020-12-29 19:26:40 +02:00 |
|
Berkus Decker
|
fe2cf95d4e
|
sq typo?
|
2020-12-29 19:26:40 +02:00 |
|
Berkus Decker
|
e6580a5465
|
sq misc comments
|
2020-12-29 19:26:40 +02:00 |
|
Berkus Decker
|
56aca62409
|
sq formatting
|
2020-12-29 19:26:40 +02:00 |