Andres Amaya Garcia

Results 18 issues of Andres Amaya Garcia

GapAdvertisingParams and GapScanningParams use `MSEC_TO_ADVERTISEMENT_DURATION_UNITS()` and `MSEC_TO_SCAN_DURATION_UNITS()` respectively to convert from milliseconds to units of 0.625. However, these two functions do exactly the same operation: ``` return (durationInMillis * 1000)...

enhancement
mirrored

This is an initial version of an API that automates the process of setting the Client Characteristic Configuration Descriptor (CCCD) to enable/disable notifications. The new API is DiscoveredCharacteristic::setCCCD(). The new...

Some parts of GapAdvertisingData are using type aliases that are marked as deprecated such as `DataType` and `Flags`. The usage of the deprecated types should be changed.

mirrored

In BLE there are 4 types of addresses: - Public - Random static - Random resolvable private address - Random non-resolvable private address According to the specification v4.2 Vol 6...

enhancement

This is a first shot at integrating RISC-V's hypervisor (H) extension with CHERI. At a high-level, my perspective is that CHERI is generally orthogonal from hypervisor, so most of the...

The current CHERI RISC-V spec goes to great length to provide a "compatibility" mode with CHERI-less RISC-V when executing code in M, S and U mode provided that Zcherihybrid is...

question

As discussed in this week's CHERI TG meeting, it is sometimes desirable to use alternative capability encodings, particularly in RV32. However, the CHERI RISC-V specification currently mandates capability encodings for...

question

This includes the snippets into the instruction listings as well as the capability description chapter. Currently waiting for a publicly available, up to date SAIL model being released.

documentation
enhancement