Jeff Waugh
Jeff Waugh
Rather than store cache of server-provided ETags, can the ETag be calculated on the client side? Then it would be almost like doing md5 checks, but using data available in...
Ah: https://forums.aws.amazon.com/thread.jspa?messageID=203510&state=hashArgs%23203510
Looks like the same is true of armExecuteNever. Is it a case of fine for now, but needs a refactor or needs a refactor before landing more mess?
Heh, it looks like `seL4_ARM_ExecuteNever` was thrown in pretty quickly, putting the comment out of place: ```c typedef enum { seL4_ARM_PageCacheable = 0x01, seL4_ARM_ParityEnabled = 0x02, seL4_ARM_Default_VMAttributes = 0x03, seL4_ARM_ExecuteNever...