guillaume didier
|
00984ee2e0
|
Start working on cache calibration
|
2020-02-17 15:28:10 +01:00 |
|
guillaume didier
|
aa72d2fa49
|
Changes to the main
|
2020-02-17 13:36:20 +01:00 |
|
guillaume didier
|
81a517de6b
|
Refactor cache_info into a separate module
|
2020-02-17 09:17:44 +01:00 |
|
guillaume didier
|
2da2e7bf8e
|
Rename cache utils
|
2020-02-05 10:23:52 +01:00 |
|
guillaume didier
|
45f4ac5ef9
|
Code cleanup - make clippy happier
|
2020-02-04 12:00:03 +01:00 |
|
guillaume didier
|
0a4fb34d32
|
Implement full parsing of cache info
|
2020-02-04 10:09:30 +01:00 |
|
guillaume didier
|
45881ce2ea
|
Add the interface for getting the cache info and logic to iterate. Only need to add parsing support of more fields
|
2020-02-04 08:41:49 +01:00 |
|
guillaume didier
|
6a0bd9b757
|
Start work on the cache info module
|
2019-12-22 15:24:21 +01:00 |
|
guillaume didier
|
48559cec17
|
Supports serial input
|
2019-11-18 11:11:43 +01:00 |
|
guillaume didier
|
bfeafc9892
|
Implement memory allocation
|
2019-11-14 14:26:37 +01:00 |
|
guillaume didier
|
8b3a4b4b9a
|
Get frame alloctaion working
|
2019-11-13 17:32:22 +01:00 |
|
guillaume didier
|
46ce73b1b0
|
Add virtual memory translation
|
2019-11-13 15:36:46 +01:00 |
|
guillaume didier
|
21224d62e2
|
Fix warnings in tests
|
2019-11-13 14:26:39 +01:00 |
|
guillaume didier
|
6da5f5c956
|
Make clippy happy
|
2019-11-13 14:12:07 +01:00 |
|
guillaume didier
|
578904198c
|
Get things to run under linux, also fix serial console
|
2019-11-12 18:04:11 +01:00 |
|
Guillaume DIDIER
|
7a437024f8
|
Fix compile issues with entry_point.
Typos, imports & calling conventions.
|
2019-11-10 17:42:14 +01:00 |
|
Guillaume DIDIER
|
3d5cebdab4
|
Use entry_point! to typecheck the entry point and get the boot info.
|
2019-11-04 14:48:49 +01:00 |
|
Guillaume DIDIER
|
f4cc148d83
|
Interrupt handling working and tested.
- int3
- double fault with separate stack
- page fault
|
2019-11-04 13:54:43 +01:00 |
|
Guillaume DIDIER
|
e010900715
|
Test infrastructure
- serial port
- harnesses using qemu
|
2019-10-21 13:10:53 +02:00 |
|
Guillaume DIDIER
|
5a528f7508
|
Proper VGA driver, just missing print! / println! support.
|
2019-10-06 17:16:19 +02:00 |
|