5 Commits

Author	SHA1	Message	Date
Julien Cretin	ba5caf0691	Filter syscall at platform-level instead of driver-level	2020-05-14 20:19:21 +02:00
Julien Cretin	cf31110922	Define the storage locations in the board	2020-05-13 15:17:35 +02:00
Julien Cretin	ecf02eb6ce	Only store the storage location in the Kernel	2020-05-08 17:00:59 +02:00
Julien Cretin	3edb387615	Remove writable flash regions support ... Removing support for writable flash regions permits to save 1 page in the binary due to alignment constraints. It also permits to reduce the diff with libtock-rs which doesn't support writable flash regions. This commit also updates the `SyscallStorage` documentation.	2020-05-06 15:18:27 +02:00
Jean-Michel Picod	f91d2fd3db	Initial commit	2020-01-30 11:47:29 +01:00