History log of /seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/wrapper.ac
Revision Date Author Comments
# 181c2c5a 15-Feb-2019 Partha Susarla <mail@spartha.org>

fs: Support for 4.20.x series of kernels

More ifdefs. I think we need to give up on supporting a few older
version of the kernels.


# 9741de60 15-Feb-2019 Partha Susarla <mail@spartha.org>

impl: Remove depcrate time functions.

Functions `current_kernel_time()` and `timespec_trunc()` are
deprecated in the 4.20.x series of kernels.


# d7a206cd 21-Sep-2018 Zilin Chen <Zilin.Chen@data61.csiro.au>

compiler+fs: fix naming of generated files

[skip lemma]


# 6bb9d91b 17-Dec-2017 Partha Susarla <mail@spartha.org>

linux: Replace CURRENT_TIME macro.

`CURRENT_TIME` macro has been deprecated(and replaced) in the Linux
kernel because it isn't safe on 32bit systems. (y2038 problem).
This patch fixes Cogent code and drivers to reflect that.


# dc6bd0fb 15-Mar-2017 Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au>

[impl] Reorganise impl directory.

We currently have all our filesystem implementation in `impl` directory. This
patch moves all the implementations into `impl/fs` directory. This makes for
better organisation of the source tree when we eventually have `impl/net`,
for network implementations in `Cogent`.