github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2026-07-14 22:24:29 +00:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 67442dc8f0 kata-os-camkes: export C bindings for better CAmkES integration Sam Leffler 2022-06-23 17:33:32 +00:00
  • f67ae5616c kata-os-common: add delete support to CSpaceSlot. Sam Leffler 2022-06-22 20:32:35 +00:00
  • 060c47e382 kata-os-slot-allocator: add optional tracing msgs Sam Leffler 2022-06-22 20:24:25 +00:00
  • acf7c28eba kata-os-common: add CopyRegion support. Sam Leffler 2022-06-22 19:04:36 +00:00
  • f70a9af73f Remove unused LogFibonacci component. Sam Leffler 2022-06-24 16:59:41 +00:00
  • 51356cd868 kata:rust: Point the rust version to KATA_RUST_VERSION Cindy Liu 2022-06-17 09:54:48 -07:00
  • ae9476aa3b kata: pin indexmap crate version to 1.8 Cindy Liu 2022-06-17 01:17:33 -07:00
  • 2b0dd2eb8b Merge "Add basic mailbox driver camkes component + a test script in DebugConsole." Austin Appleby 2022-06-16 00:15:06 +00:00
  • 8800dc4a96 Merge "Refactor kata-vec-core and add fake-vec-core" Adam Jesionowski 2022-06-14 18:53:27 +00:00
  • 3992cc998a Add hello & fibonacci applications for testing. Sam Leffler 2022-06-13 19:00:07 +00:00
  • 6221739c49 SecurityCoordinator: misc fixups Sam Leffler 2022-06-10 01:00:25 +00:00
  • ae3de25663 kata-security-coordinator::fakeimpl: construct unique bundle id's Sam Leffler 2022-06-08 21:35:22 +00:00
  • 066d37db24 kata-shell: fix bundles display of the empty array Sam Leffler 2022-06-08 21:33:22 +00:00
  • 6850f3b3e0 Merge "kata-shell; overhaul command processing" Sam Leffler 2022-06-08 16:35:43 +00:00
  • 6d8badf052 Move RUST_TARGET setup to easy-settings.cmake. Sam Leffler 2022-06-07 21:13:17 +00:00
  • a17ea9d0c2 kata-os-common: first cut at riscv64 support Sam Leffler 2022-06-03 17:35:15 +00:00
  • 2a1cf83ac5 kata-os-common: improve portability & fix aarch64 platform Marcin Witkowski 2022-02-24 14:27:44 +01:00
  • 84986b53d4 Revert "kata-os-common: improve portability & fix aarch64 platform" Cindy Liu 2022-06-07 21:53:14 +00:00
  • e64ac727d1 kata-os-common: improve portability & fix aarch64 platform Marcin Witkowski 2022-02-24 14:27:44 +01:00
  • 8255aeb604 kata-security-coordinator: fix fakeimpl memory stats Sam Leffler 2022-06-06 21:51:27 +00:00
  • ddacc3762e Add kata-os-common::camkes support. Sam Leffler 2022-05-20 20:45:53 +00:00
  • 3bd8389a4c sel4-sys: add arch_generic support Sam Leffler 2022-05-20 18:22:12 +00:00
  • 3f19e4b805 Merge "kata-os-model: move some debugging msgs to trace" Sam Leffler 2022-06-02 20:03:57 +00:00
  • f9bf131a5b Fix dead_code module annotation. Adam Jesionowski 2022-06-02 18:49:48 +00:00
  • 1662e80ef1 MlCoord: Execution queue Adam Jesionowski 2022-05-12 18:18:33 +00:00
  • 20f1d1aa9d Merge "Enable WMMU." Adam Jesionowski 2022-06-02 16:45:00 +00:00
  • b8dfe92451 DebugConsole: clippy findings Sam Leffler 2022-05-16 18:45:41 +00:00
  • c4563fabfb TimerService: clippy findings Sam Leffler 2022-05-13 15:02:01 +00:00
  • 588fb66af6 StorageManager: clippy findings Sam Leffler 2022-05-13 14:46:47 +00:00
  • 558a199151 SecurityCoordinator: clippy findings Sam Leffler 2022-05-13 14:40:53 +00:00
  • 17b9878ecc MlCoordinator: clippy findings Sam Leffler 2022-05-12 01:55:46 +00:00
  • 34b8067a2d ProcessManager:: clippy findings Sam Leffler 2022-05-12 01:51:28 +00:00
  • e2ec09e001 MemoryManager: clippy findings Sam Leffler 2022-05-11 23:18:26 +00:00
  • 06d636f27f kata-os-common: move CSpaceSlot into it's own crate Sam Leffler 2022-05-17 00:08:55 +00:00
  • ea5b34e20b MemoryManager: workaround release build problem Sam Leffler 2022-05-16 17:52:26 +00:00
  • 0286d516ce Regenerate C interface bindings. Sam Leffler 2022-05-11 01:01:00 +00:00
  • 746616b6d6 DebugConsole: add cpio archive of builtin bundle objects Sam Leffler 2022-05-11 00:46:58 +00:00
  • 6b1fff796b DebugConsole: add kata_object_alloc_in_cnode test to test_obj_alloc Sam Leffler 2022-05-13 17:35:06 +00:00
  • 876c7148e7 DebugConsole: update test_mlexecute for kata-ml-coordinator changes Sam Leffler 2022-05-13 17:33:41 +00:00
  • 6729689f1b DebugConsole: update scecho for kata-security-interface changes Sam Leffler 2022-05-13 17:30:46 +00:00
  • 0a51bd8b59 DebugConsole: hookup zmodem to MemoryManager Sam Leffler 2022-05-11 00:46:58 +00:00
  • 09ed791c1e MlCoordinator: get models in BundleImage format from SecurityCoordinator Sam Leffler 2022-05-11 00:36:05 +00:00
  • 43d921eb53 ProcessManager: first cut at proper seL4 support Sam Leffler 2022-05-11 00:19:02 +00:00
  • e46f247470 StoragManager: track SecurityCoordinator changes Sam Leffler 2022-05-11 00:15:06 +00:00
  • cd6413908a SecurityCoordinator: overhaul server side Sam Leffler 2022-05-11 00:00:24 +00:00
  • daf232273b SecurityCoordinator: overhaul client api's Sam Leffler 2022-05-10 23:45:11 +00:00
  • 426be466ff ProcessManager: add bundle image support for loading apps & models Sam Leffler 2022-05-10 23:20:18 +00:00
  • 4f17bb33b3 MemoryManager: integrate with the slot allocator and many api updates Sam Leffler 2022-05-10 22:56:27 +00:00
  • 2251f84c1b TimerService: mark component as part of KataOS Sam Leffler 2022-05-16 09:03:50 -07:00
  • 7315d09fb5 Merge "kata-slot-allocator: add a 1-slot RAII helper" Sam Leffler 2022-05-12 22:53:05 +00:00
  • eb46d7c817 Merge "Add test_timer commands." Adam Jesionowski 2022-05-12 15:25:32 +00:00
  • 2378b38d71 Make camkes IRQ numbers match top_matcha.h Austin Appleby 2022-05-05 17:35:44 -07:00
  • 6b36b6fd56 Merge "Increase # of SMC PLIC interrupt lines to 32 in Renode and move the SMC software interrupt to #31 until it gets a hardware interrupt # assigned" Austin Appleby 2022-05-11 20:39:59 +00:00
  • f06f3a51e6 kata-os-common: make CAmkES-specific support controlled by a feature Sam Leffler 2022-05-06 19:34:02 +00:00
  • 6eb1d0537f Merge "kata-os-model: make noisy logging feature-dependent" Sam Leffler 2022-05-10 22:44:27 +00:00
  • 3bf4242a91 Merge "sel4-sys: add some debug helpers" Sam Leffler 2022-05-10 22:42:31 +00:00
  • d13355401a Revert "Make camkes IRQ numbers match top_matcha.h" Adam Jesionowski 2022-05-07 00:59:49 +00:00
  • 3ba2688c2e Make camkes IRQ numbers match top_matcha.h Austin Appleby 2022-05-05 17:35:44 -07:00
  • 10f0ace32e Apparently we still need resolver = 2 for the build to work. :/ Austin Appleby 2022-04-19 18:51:56 -07:00
  • 2924a4c26e kata-logger: fix unit tests after crate rename Sam Leffler 2022-04-19 12:12:36 -07:00
  • 57a4ee2f13 cargo: Bump to 2021 edition June Tate-Gans 2022-04-18 20:22:08 +00:00
  • 9188a29bd4 Move common crates to kata-os-common and shorten names. Sam Leffler 2022-04-08 20:43:44 +00:00
  • fdc3a88437 Impprove cbindgen integration. Sam Leffler 2022-04-18 18:18:18 +00:00
  • 3c37de656a Merge "kata-slot-allocator: CSpace slot allocator" Sam Leffler 2022-04-14 21:21:17 +00:00
  • 9a8254e32a Merge "Remove unused import." Adam Jesionowski 2022-04-14 17:57:01 +00:00
  • 945f519de8 Merge "Kata Timer Service" Adam Jesionowski 2022-04-13 18:21:17 +00:00
  • 306d806d4a Merge "handle additional condition syntax in generators" June Tate-Gans 2022-04-13 18:19:36 +00:00
  • 957f429c52 Mark KataOS components for special CAmkES processing. Sam Leffler 2022-04-08 16:11:54 +00:00
  • 72faf77df8 DebugConsole: allocate 64 empty CNode slots for test use. Sam Leffler 2022-04-05 20:15:14 +00:00
  • c0549c75e7 kata-os-model: correct slot calculation for untyped memory handoff Sam Leffler 2022-04-08 15:56:51 +00:00
  • 18c7660244 Add MemoryManager service. Sam Leffler 2022-03-29 18:49:55 +00:00
  • 4e5b8a4423 Merge "sel4-sys: rename arch/riscv.rs in preparation for 64-bit support" Sam Leffler 2022-04-01 23:12:24 +00:00
  • 3e37996648 Merge "sel4-sys: make seL4_GetCapReceivePath more Rust-friendly" Sam Leffler 2022-04-01 23:11:40 +00:00
  • c24f1fc9d7 Merge "sel4-sys: add BootInfo serde support" Sam Leffler 2022-04-01 23:10:52 +00:00
  • a4a1ca9556 Merge "sel4-sys: add ObjectType sizing" Sam Leffler 2022-04-01 23:10:08 +00:00
  • 0088925a43 Merge "sel4-sys: remove unused files" Sam Leffler 2022-04-01 23:09:17 +00:00
  • 6ff6c95b3c Use local copies of cpio and xmas-elf crates. Adam Jesionowski 2022-03-21 14:49:19 -07:00
  • 0211cf3a9c Disable LTO for profile.dev when building CAmkES components. Sam Leffler 2022-03-07 07:44:11 -08:00
  • f47d252904 kata: vec_core: Update ITCM memory address Cindy Liu 2022-02-15 15:53:04 -08:00
  • 4fe71acb97 rust.cmake: fix RELEASE handling Sam Leffler 2022-02-04 14:44:25 -08:00
  • 2749156acf Use read_volatile for reading from vc control Adam Jesionowski 2022-02-04 12:30:27 -08:00
  • b584015157 Merge "kata-os-model: fix release build" Sam Leffler 2022-02-02 21:30:58 +00:00
  • 18474970dc processmanager: use rx_fifo_level in OpenTitanUARTDriver Marcin Witkowski 2022-01-27 13:10:04 +01:00
  • 8961c75d25 Merge changes from topic "kata-os-rootserver" Sam Leffler 2022-02-01 23:08:37 +00:00
  • 3f121414ea Fix seL4 slowdown by increasing ELF space. Adam Jesionowski 2022-02-01 12:06:03 -08:00
  • b4e76a37b6 processmanager: update OpenTitanUARTDriver Marcin Witkowski 2022-01-13 12:04:09 +01:00
  • 2f4d3c8e35 Merge "processmanger: fix release builds" Sam Leffler 2022-01-31 22:59:47 +00:00
  • 336808a812 Update camkes to 1M ITCM Adam Jesionowski 2022-01-31 12:28:35 -08:00
  • eae7aa7ab1 Update memory map. Adam Jesionowski 2022-01-21 11:47:16 -08:00
  • d803859470 Merge "Re-map SMC UART and PLIC." Adam Jesionowski 2022-01-20 23:07:26 +00:00
  • 0d610d1ca6 MLCoordinator: Increase ITCM size to 1M Lun Dong 2022-01-12 17:40:00 +00:00
  • 4ed5fc91fd Use CSR initialization for clearing ITCM. Adam Jesionowski 2021-12-10 10:23:23 -08:00
  • af833e8d19 sel4-sys: fix x86_64 target Marcin Witkowski 2021-12-21 12:33:07 +01:00
  • 679f4e7acb sel4-sys: add support for aarch64 Marcin Witkowski 2021-12-20 15:08:06 +01:00
  • 28f8a9d63d sel4-sys: fix aarch32 target Marcin Witkowski 2021-12-21 17:15:29 +01:00
  • 9d2f298efa Add sel4-config build helper for syncing crates to an seL4 kernel build. Sam Leffler 2021-12-12 00:54:42 +00:00
  • 164a27b601 sel4-sys: documentation cleanups Sam Leffler 2021-12-13 19:24:54 +00:00
  • 36f2577a40 rust.cmake: fixups Sam Leffler 2021-12-14 20:16:25 +00:00
  • 840c348e94 rust.cmake: force Rust TLS model to local-exec Sam Leffler 2021-12-12 01:45:25 +00:00
  • 222aeda532 sel4-sys: use static_assertions Sam Leffler 2021-12-13 00:24:30 +00:00