github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-09-12 21:19:18 +00:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 3ef5eb76d3 Make the README heading a little less overwhelming main June Tate-Gans 2022-11-30 00:16:23 +00:00
  • d30c056a99 Update the readme in preparation for archival. June Tate-Gans 2022-11-30 00:15:40 +00:00
  • f9ea7c196e SDKRuntime: overhaul rpc mechanism Sam Leffler 2022-10-17 22:57:24 +00:00
  • 88841cb7a7 DebugConsole: add autostart script support & make uart optional Sam Leffler 2022-10-15 00:11:44 +00:00
  • d866234653 kata-shell: fix bitrot in fringe cmds Sam Leffler 2022-10-15 00:11:06 +00:00
  • fed472240d default-uart-client: a fallback io client (mostly) for autostart Sam Leffler 2022-10-14 23:02:10 +00:00
  • 613d5e8783 kata: add directory for repl scripts Sam Leffler 2022-10-14 23:00:16 +00:00
  • bf2be62e71 kata-shell: make ml support optional Sam Leffler 2022-10-14 18:19:29 +00:00
  • a9901bfff9 kata-security-coordinator: move test_mailbox to the real impl Sam Leffler 2022-10-13 23:26:22 +00:00
  • 34809a47e1 kata-memory-interface: improve portability Sam Leffler 2022-10-13 22:33:57 +00:00
  • 130887a482 kata-shell: improve portability of memory manager test cmds Sam Leffler 2022-10-13 22:32:07 +00:00
  • 91941d0028 kata-shell: remove use of private cpio change Sam Leffler 2022-10-13 22:27:35 +00:00
  • c584a70fa0 README.md: update for new code drop Sam Leffler 2022-10-10 20:35:40 +00:00
  • 05b85c780a sel4-sys: fixup MCS-affected syscall wrappers for aarch64 Sam Leffler 2022-09-23 19:27:57 +00:00
  • b2117c9439 kata: rename kata-sdk-interface to sdk-interface Sam Leffler 2022-09-19 23:54:58 +00:00
  • cc8e4c65e6 apps/rust: remove debug code that passes a0-a3 to main Sam Leffler 2022-09-19 23:59:37 +00:00
  • 8abb4dc89d apps/rust: add keyval app to exercise key-value db api's Sam Leffler 2022-09-19 17:46:20 +00:00
  • 8b7c33c565 SDKRuntime: add key-val store api's Sam Leffler 2022-09-19 23:18:22 +00:00
  • fae20dcd68 apps/rust: add panic test app to test panic! Sam Leffler 2022-09-19 18:12:20 +00:00
  • 95f8965986 apps/rust: start of sdk runtime support for Rust apps Sam Leffler 2022-09-16 18:33:10 +00:00
  • d0d46c89e1 SDKRuntime: plumb application access Sam Leffler 2022-08-31 21:53:02 +00:00
  • 48c3e88004 sel4-sys: riscv32 seL4_Recv & seL4_ReplyRecv cleanups Sam Leffler 2022-09-22 00:43:40 +00:00
  • d25dffb3dd kata-security-interface: guard against sending a random cap Sam Leffler 2022-09-22 00:39:07 +00:00
  • a36368cf63 kata-security-component: minor cleanups Sam Leffler 2022-09-22 00:36:17 +00:00
  • a49dda0ad6 kata-os-camkes: misc additions Sam Leffler 2022-09-22 00:33:05 +00:00
  • 4f6df89be3 sel4-sys: purge build-env manifest entry Sam Leffler 2022-09-19 17:55:28 +00:00
  • 0f00de9795 kata: fix README typo Sam Leffler 2022-09-16 19:52:57 +00:00
  • b113b052e5 kata-os-common: reduce internal dependencies Sam Leffler 2022-09-16 18:16:26 +00:00
  • 7107bef631 sel4-sys: feature-control serde support under "serde_support" (default enabled) Sam Leffler 2022-09-16 18:13:33 +00:00
  • 24975a813e kata-os-cmakes: add get_request_cap Sam Leffler 2022-09-16 18:01:52 +00:00
  • ecf7592adb sel4bundle: fix application CNode guard setup Sam Leffler 2022-09-16 17:52:48 +00:00
  • 5683ba6e20 kata-os-cspace-slot: multiple api changes Sam Leffler 2022-09-05 00:26:27 +00:00
  • bbe49faf65 sel4-sys: fix MCS-affected syscall wrappers for risv32 Sam Leffler 2022-09-14 19:27:18 +00:00
  • b446c00783 kata-os-camkes: add debug_assert_slot_frame Sam Leffler 2022-09-14 20:43:20 +00:00
  • 201876492b sel4bundle: fix handling of segment gaps Sam Leffler 2022-09-15 22:30:49 +00:00
  • 173e7211c7 Merge "kata-memory-manager: remove dead code" Sam Leffler 2022-08-30 19:54:04 +00:00
  • 6ee08d8b47 Merge "apps: Extract crt0 from C apps" June Tate-Gans 2022-08-30 17:33:53 +00:00
  • 13799ab779 Remove StorageManager. Sam Leffler 2022-08-26 16:57:48 -07:00
  • fb94ac248a suicide: honor CONFIG_PRINTING Sam Leffler 2022-08-26 09:16:04 -07:00
  • 58862a4803 kata-os-logger: correctly match types Sam Leffler 2022-08-26 11:27:07 -07:00
  • 3d0a31f7b4 MailboxDriver: fix debug build breakage Sam Leffler 2022-08-26 11:16:28 -07:00
  • 186ad6adc3 MailboxDriver: use consistent build options Sam Leffler 2022-08-25 15:03:09 -07:00
  • 601e7f5c78 kata: compile-out debug & trace log calls in release builds Sam Leffler 2022-08-25 15:37:51 -07:00
  • b099005951 kata-os-logger: support no logging interface connection out of a component Sam Leffler 2022-08-25 15:36:09 -07:00
  • 326ec0d6c9 MemoryManager: sort untyped slabs by available space Sam Leffler 2022-08-23 22:47:09 +00:00
  • daa3bb819c kata-security-coordinator::fakeimpl: eliminate deep_copy panics Sam Leffler 2022-08-23 22:40:34 +00:00
  • 9dc07abe53 Merge "kata-shell: remove test_bootinfo" Sam Leffler 2022-08-22 19:04:55 +00:00
  • fe24490359 kata: add a hello test application wrtten in Rust Sam Leffler 2022-08-17 21:03:36 +00:00
  • e95c0bebeb Merge "hello: use ProcessManager-supplied value to setup __sel4_ipc_buffer" Sam Leffler 2022-08-19 21:05:20 +00:00
  • 831a698120 Merge "sel4bundle: pass ipc buffer address" Sam Leffler 2022-08-19 21:05:10 +00:00
  • 159d64e4ed README.md: fixups Sam Leffler 2022-08-19 07:39:34 -07:00
  • 1a068b0143 kata: Prepend the Google copyright and Apache 2.0 license June Tate-Gans 2022-08-16 17:34:40 -05:00
  • c0c03fe731 Merge "SDKRuntime: Introduce skeleton implementation" June Tate-Gans 2022-08-16 21:59:11 +00:00
  • 02e6caec95 suicide: Introduce the fault handler test app June Tate-Gans 2022-08-16 15:08:02 -05:00
  • ca6153b68c kata: move test apps into a C hierarchy in prep for adding Rust apps Sam Leffler 2022-08-15 20:37:38 +00:00
  • f75b87d6b4 Merge "docs: Add in an overview of component construction." June Tate-Gans 2022-08-16 16:24:38 +00:00
  • 0b528c2a59 Merge "kata: clang-format C test apps" Sam Leffler 2022-08-16 16:17:14 +00:00
  • a5ca02b0e7 cbindgen: Dynamically generate header files during toplevel build June Tate-Gans 2022-08-15 14:48:03 -05:00
  • d890571c5e README.md: fix url Sam Leffler 2022-08-15 10:34:35 -07:00
  • a2d5e3f37b kata: add oss materials Sam Leffler 2022-08-12 11:42:53 -07:00
  • f61d20ef11 Merge "processmanager: add/tweak OSS materials" Sam Leffler 2022-08-10 19:01:52 +00:00
  • 492a4e725d MlCoordinator: Use return information at model_output Adam Jesionowski 2022-08-08 14:42:36 -07:00
  • fd7f31bcb2 kata: Integrate Image Manager and WMMU changes Adam Jesionowski 2022-07-27 14:12:56 -07:00
  • 50cd809320 Merge changes If949288d,I9849065a,I121edee2 Cindy Liu 2022-08-04 00:26:57 +00:00
  • f33b5b4a9e rust.cmake: add comment pointing to CAmkES setting of --tls-model Sam Leffler 2022-07-25 23:00:18 +00:00
  • c8e27dab0a domains: Remove TPA sandbox domain for now June Tate-Gans 2022-08-01 13:35:13 -05:00
  • 1b0f694aaf Merge "capdl: add CDL_ObjID_Invalid" Sam Leffler 2022-07-28 14:29:48 +00:00
  • 846993767c Merge "kata-os-model: reclaim rootserver resources" Sam Leffler 2022-07-28 14:29:40 +00:00
  • 0fdb94a938 Merge changes from topic "kata-os-bootinfo" Sam Leffler 2022-07-28 14:28:55 +00:00
  • b9b0120953 kata-os-model: portability fix Sam Leffler 2022-07-26 16:41:41 -07:00
  • 9e5f1dd2ad kata-os-model: additional rustfmt (missed --all the first time) Sam Leffler 2022-07-21 13:51:51 -07:00
  • 13c433c647 Merge "MemoryManager: log system-wide memory stats at boot" Sam Leffler 2022-07-21 18:01:13 +00:00
  • be8c32c874 scheduling: Create a secondary sandbox scheduling domain June Tate-Gans 2022-07-20 16:34:10 -05:00
  • ce1543c466 kata: rustfmt Sam Leffler 2022-07-20 13:17:06 -07:00
  • 05233af12c Add capscan suport. Sam Leffler 2022-07-09 18:48:45 +00:00
  • c2accc33b0 MemoryManager: correct initial memory use and add mdebug command Sam Leffler 2022-07-08 18:17:51 +00:00
  • a28057ea73 kata-os-model: misc fixups Sam Leffler 2022-07-13 19:04:23 +00:00
  • 0539aae221 sel4-sys: add isTainted member to UntypedDesc Marcin Witkowski 2022-05-25 18:56:43 +02:00
  • 772bd6040a kata-os-model: stop dup'ing TCB's and CNode's Sam Leffler 2022-06-27 16:23:25 +00:00
  • 70b4072428 kata-memory-manager: add CONFIG_NOISY_UNTYPEDS feature Sam Leffler 2022-07-08 16:43:33 +00:00
  • bb7e82468f Merge "Fix CONFIG_PRINTING handling by test applications." Sam Leffler 2022-07-13 21:02:37 +00:00
  • 92dc1019be Complete image_manager. Adam Jesionowski 2022-07-07 09:38:05 -07:00
  • cbe333e2e3 kata/processmanager: Merge ITCM and DTCM into TCM. Adam Jesionowski 2022-07-06 09:50:53 -07:00
  • d90b2c173e Partial implementation of Image Manager. Adam Jesionowski 2022-06-22 11:48:54 -07:00
  • 0d82a88f84 MailboxDriver: clippy findings Sam Leffler 2022-06-29 22:54:40 +00:00
  • c70ed4f3e3 MailboxDriver: purge unused stuff Sam Leffler 2022-06-29 19:13:13 +00:00
  • 7bef3289dd Reduce CAmkES per-component heap allocation. Sam Leffler 2022-06-27 17:51:01 +00:00
  • c4c0e01765 kata-slot-allocator: update bitvec dep to v1.0 Sam Leffler 2022-06-30 16:55:04 +00:00
  • 02e1b40885 OpenTitanUARTDriver: fix missing unlock Sam Leffler 2022-06-29 01:29:15 +00:00
  • 4ca13e9088 DebugConsole: add features to set initial logging level Sam Leffler 2022-06-27 18:53:46 +00:00
  • c9f36f4da8 Merge "Changes for updating the toolchain to nightly-1.58.0" Cindy Liu 2022-06-29 17:41:37 +00:00
  • 7a412467ac DebugConsole: reduce heap size to 16KB Sam Leffler 2022-06-27 18:56:31 +00:00
  • f28da794b2 kata-os-model: CONFIG_NOISY_INIT_CNODE cleanup Sam Leffler 2022-06-27 16:27:18 +00:00
  • 70b86c9c84 Update the cbindgen toml to re-enable clang-format check Cindy Liu 2022-06-27 17:03:54 -07:00
  • b2bd86e43b kata-security-coordinator::fakeimpl: correct LoadModel & LoadApplication Sam Leffler 2022-06-23 03:19:08 +00:00
  • 272c18cf9b kata-proc-manager: small code shuffle Sam Leffler 2022-06-23 03:15:49 +00:00
  • b0d1b6efac kata_object_alloc_in_cnode: misc fixups Sam Leffler 2022-06-23 03:13:34 +00:00
  • 9920153e10 kata-memory-component: add debug asserts for attached capabilities Sam Leffler 2022-06-23 03:11:43 +00:00
  • 393a7653e7 kata-os-camkes: wrap reply ipc buffer capability handling Sam Leffler 2022-06-22 20:55:29 +00:00
  • 0d27b4a3f0 kata-os-camkes: wrap request ipc buffer capability handling Sam Leffler 2022-06-22 20:45:19 +00:00